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 (25)

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

This page was built for publication: Basic Propositional Calculus I