Basic Propositional Calculus I
From MaRDI portal
Publication:4210835
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
completeness theoremKripke modelsKripke-type semanticsBasic Propositional Calculus\({\mathbf B}{\mathbf P}{\mathbf C}\)constructive propositional logictransitive Kripke structures
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
This page was built for publication: Basic Propositional Calculus I