Interpolation in fragments of intuitionistic propositional logic
Gerard R. Renardel de Lavalette · Journal of Symbolic Logic · 1989
Abstract We show in this paper that all fragments of intuitionistic propositional logic based on a subset of the connectives ∧, ∨, →, ¬ satisfy interpolation. Fragments containing ↔ or ¬¬ are briefly considered.