79 research outputs found
Interpolation in Fragments of Intuitionistic Propositional Logic
We show in this paper that all fragments of intuitionistic propositional logic based on a subset of the connective ∧, ∨, →, ¬ satisfy interpolation. Fragments containing ↔ or ¬¬ are briefly considered
- …