Interpolation in natural fragments of intuitionistic propositional logic
DSpace/Manakin Repository
Interpolation in natural fragments of intuitionistic propositional logic
Renardel de Lavalette, G.R.
(1986) Logic Group Preprint Series, volume 15
(Preprint)
Abstract
We show in this note that all natural fragments of intuitionistic
propositional logic (i.e. fragments based on a subset of the natural
connectives Λ, V, →, ¬) satisfy interpolation. show less