The classification of propositional calculi

DOI10.1023/A:1005292130553MaRDI QIDQ1595914zbMATH OpenOpenAlexFDO

Authors R. Smith

Publication date 18 February 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005292130553

zbMATH Keywords

combinatorsfinite Boolean latticefull logicimplicational logicsindependenceindependent axiomatizationintuitionistic logicmaximal lattice of logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Review text

Several independent axiomatizations \(A_i\) of intuitionistic propositional calculus \(H\) are considered. For each of them the result of deleting some of the axioms determines a known subsystem of \(H\). Adding one more axiom to each of \(A_i\) provides an independent axiomatization of classical propositional calculus.

Recommendations

• scientific article; zbMATH DE number 1341927
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• Some structure results for propositional calculi
• THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
• Categorical proof theory of classical propositional calculus
• scientific article; zbMATH DE number 4055579
• scientific article; zbMATH DE number 4164188
• scientific article; zbMATH DE number 3981151
• scientific article; zbMATH DE number 749701
• scientific article; zbMATH DE number 3935005

Cited in

(11)

• Classification theory over a predicate. I
• Propositional truth maintenance systems: Classification and complexity analysis
• Criterion for propositional calculi to be finitely generated
• scientific article; zbMATH DE number 4016868 (Why is no real title available?)
• scientific article; zbMATH DE number 3872670 (Why is no real title available?)
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• A Couple of Novelties in the Propositional Calculus
• scientific article; zbMATH DE number 150217 (Why is no real title available?)
• scientific article; zbMATH DE number 549806 (Why is no real title available?)
• Propositional Structure and B. Russell's Theory of Denoting inThe Principles of Mathematics
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence

This page was built for publication: The classification of propositional calculi

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