PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC (Q5117592)
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: PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC |
scientific article; zbMATH DE number 7239856
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
