Quantification for Peirce's preferred system of triadic logic (Q1167713)
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: Quantification for Peirce's preferred system of triadic logic |
scientific article; zbMATH DE number 3773570
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantification for Peirce's preferred system of triadic logic |
scientific article; zbMATH DE number 3773570 |
Statements
Quantification for Peirce's preferred system of triadic logic (English)
0 references
1981
0 references
Peirce's triadic logics
0 references
dual pair of axiomatic systems
0 references
quantifiers
0 references
undecidability
0 references
minimal axiomatic systems
0 references
0 references
