Basic propositional calculus. II: Interpolation

DOI10.1007/s001530000062zbMath0976.03009MaRDI QIDQ5945567

Mohammad Ardeshir, Wim Ruitenburg

Publication date: 2001

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

interpolation theoremKripke modelbasic propositional calculussubsystem of intuitionistic propositional calculusweakened modus ponens

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

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

This page was built for publication: Basic propositional calculus. II: Interpolation