Basic propositional calculus. II: Interpolation
From MaRDI portal
Publication:5945567
DOI10.1007/s001530000062zbMath0976.03009MaRDI QIDQ5945567
Mohammad Ardeshir, Wim Ruitenburg
Publication date: 2001
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
interpolation theoremKripke modelbasic propositional calculussubsystem of intuitionistic propositional calculusweakened modus ponens
Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Amalgamation property for the class of basic algebras and some of its natural subclasses, Implication via spacetime, On PBZ*-lattices, Interpolation Property on Visser's Formal Propositional Logic, A closer look at some subintuitionistic logics