Basic Propositional Calculus I

DOI10.1002/MALQ.19980440304MaRDI QIDQ4210835zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A cut-free Gentzen formulation of basic propositional calculus
• A modal analog for Glivenko's theorem and its applications
• A modified subformula property for the modal logic KC4
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• scientific article; zbMATH DE number 218532
• scientific article; zbMATH DE number 1778906
• All finitely axiomatizable subframe logics containing the provability logic CSM₀ are decidable
• scientific article; zbMATH DE number 3884136
• scientific article; zbMATH DE number 4070861
• scientific article; zbMATH DE number 94918

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• Self-reference and modal logic

Cited in

(38)

• Constructive embedding from extensions of logics of strict implication into modal logics
• Bounded distributive lattices with strict implication and weak difference
• On weak Lewis distributive lattices
• On a generalization of Heyting algebras. I
• Sequent calculi for Visser's propositional logics
• Representations of Sheffer stroke algebras and Visser algebras
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• Binary modal companions for subintuitionistic logics
• A cut-free Gentzen formulation of basic propositional calculus
• Correspondences between gentzen and hilbert systems
• Principal congruences in weak Heyting algebras
• Quasi-subtractive varieties
• Basic predicate calculus
• On the implicative-infimum subreducts of weak Heyting algebras
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Frontal operators in weak Heyting algebras
• Esakia duality and its extensions
• On commutative weak Heyting algebras and some of its subreducts
• Implication via spacetime
• On PBZ*-lattices
• Proof complexity of substructural logics
• On self‐distributive weak Heyting algebras
• A closer look at some subintuitionistic logics
• \(l\)-hemi-implicative semilattices
• Latarres, lattices with an arrow
• Valuations: bi, tri, and tetra
• Interpolation Property on Visser's Formal Propositional Logic
• The de Jongh property for basic arithmetic
• A semantical analysis of some subintuitionistic modal logics
• A constructive interpretation of the logical constants
• Completions of Basic Algebras
• Algebraic semantics for weak subintuitionistic logic WF
• The variety of modal weak Gödel algebras
• A study on some classes of distributive lattices with a generalized implication
• Multipliers in weak Heyting algebras
• D-complete single axioms for the equivalential calculus with the rules d and r
• Open filters and congruence relations on self-distributive weak Heyting algebras
• Fuzzy sets and formal logics

This page was built for publication: Basic Propositional Calculus I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210835)