English

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics

Logic 2025-03-28 v1

Abstract

Which choices of truth tables and consequence relations for two logics L1\mathsf{L}_1 and L2\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 L1\mathsf{L}_1 and χ\chi entails ψ\psi in L2\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.

Keywords

Cite

@article{arxiv.2503.20924,
  title  = {Split Interpolation: Refining Craig's Theorem via Three-Valued Logics},
  author = {Quentin Blomet},
  journal= {arXiv preprint arXiv:2503.20924},
  year   = {2025}
}
R2 v1 2026-06-28T22:35:47.628Z