Jesse Comer

Craig Interpolation for Decidable First-Order Fragments

2023 · arXiv (Cornell University)

The Craig Interpolation Property (CIP) is a property of logics. It states that, for all formulas φ and ψ, if φ ⊧ ψ, then there exists an "interpolant" ϑ such that φ ⊧ ϑ and …