Basic Propositional Calculus I

DOI10.1002/malq.19980440304zbMath0912.03005OpenAlexW2067332512MaRDI QIDQ4210835

Mohammad Ardeshir, Wim Ruitenburg

Publication date: 16 May 1999

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

Full work available at URL: https://doi.org/10.1002/malq.19980440304

zbMATH Keywords

completeness theoremKripke modelsKripke-type semanticsBasic Propositional Calculus\({\mathbf B}{\mathbf P}{\mathbf C}\)constructive propositional logictransitive Kripke structures

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

Principal congruences in weak Heyting algebras, Amalgamation property for the class of basic algebras and some of its natural subclasses, Binary modal companions for subintuitionistic logics, Implication via spacetime, On PBZ*-lattices, The variety of modal weak Gödel algebras, On self‐distributive weak Heyting algebras, Interpolation Property on Visser's Formal Propositional Logic, Sequent calculi for Visser's propositional logics, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, A closer look at some subintuitionistic logics, Frontal operators in weak Heyting algebras, The de Jongh property for basic arithmetic, Basic predicate calculus, Fuzzy sets and formal logics, Valuations: bi, tri, and tetra, \(l\)-hemi-implicative semilattices, Latarres, lattices with an arrow, Proof complexity of substructural logics, Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics, Completions of Basic Algebras, Quasi-subtractive varieties, Correspondences between gentzen and hilbert systems, Easkia Duality and Its Extensions, Representations of Sheffer stroke algebras and Visser algebras

Cites Work

• Self-reference and modal logic
• Unnamed Item