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 the normal view instead:
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
0.8503451347351074
0 references
0.7994765639305115
0 references
0.7818907499313354
0 references
0.7673230171203613
0 references
