Interpolation in fragments of intuitionistic propositional logic
DSpace/Manakin Repository
Interpolation in fragments of intuitionistic propositional logic
Renardel de Lavalette, G.R.
(1987) Logic Group Preprint Series, volume 24
(Preprint)
Abstract
We show in this paper that all fragments of intuitionistic propositional logic based on a subset of the connectives Λ, V, →, ¬ satisfy interpolation. Fragments containing ↔ or ¬¬ are briefly considered. show less