Interpolation in natural fragments of intuitionistic propositional logic
Publication date
1986-10
Authors
Renardel de Lavalette, G.R.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.
Keywords
intuitionistic propositional logic, fragment, interpolation