PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC (Q5117592)
From MaRDI portal
scientific article; zbMATH DE number 7239856
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC |
scientific article; zbMATH DE number 7239856 |
Statements
PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC (English)
0 references
26 August 2020
0 references
Peirce
0 references
algebra of logic
0 references
Boolean algebra
0 references
sequent calculus
0 references
illation
0 references
consequence
0 references
alpha graphs
0 references
