对于两个逻辑系统$\mathsf{L}_1$和$\mathsf{L}_2$，哪些真值表和推论关系的选择可以保证满足以下分裂插值性质：如果两个公式$\phi$和$\psi$至少共享一个命题原子，并且$\phi$经典蕴含$\psi$，那么存在一个公式$\chi$，它与$\phi$和$\psi$共享所有的命题原子，使得$\phi$在$\mathsf{L}_1$中蕴含$\chi$，而$\chi$在$\mathsf{L}_2$中蕴含$\psi$？我们确定了在这种性质对于基于相同三值布尔正常单调连接词方案以及两种单调推论关系的任意一对命题逻辑系统成立的情况。由于所得的逻辑系统是次古典的，此性质的每一实例都构成了Craig演绎插值定理的一个特定细化，因为它蕴含后者并进一步限制了可能的插值范围。

Which choices of truth tables and consequence relations for two logics $\mathsf{L}_1$ and $\mathsf{L}_2$ ensure the satisfaction of the following split interpolation property: If two formulas $\phi$ and $\psi$ share at least one propositional atom and $\phi$ classically entails $\psi$, then there is a formula $\chi$ that shares all its propositional atoms with both $\phi$ and $\psi$, such that $\phi$ entails $\chi$ in $\mathsf{L}_1$ and $\chi$ entails $\psi$ in $\mathsf{L}_2$? We identify the cases in which this property holds for any pair of propositional logics based on the same three-valued Boolean normal monotonic scheme for connectives and two monotonic consequence relations. Since the resulting logics are subclassical, every instance of this property constitutes a particular refinement of Craig's deductive interpolation theorem, as it entails the latter and further restricts the range of possible interpolants.