The classification of propositional calculi (Q1595914)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The classification of propositional calculi |
scientific article; zbMATH DE number 1565443
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The classification of propositional calculi |
scientific article; zbMATH DE number 1565443 |
Statements
The classification of propositional calculi (English)
0 references
18 February 2001
0 references
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.
0 references
implicational logics
0 references
combinators
0 references
independence
0 references
finite Boolean lattice
0 references
maximal lattice of logics
0 references
full logic
0 references
intuitionistic logic
0 references
independent axiomatization
0 references
0.9498986
0 references
0.92540735
0 references
0.92410153
0 references
0.92396843
0 references
