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
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