Quantification for Peirce's preferred system of triadic logic

DOI10.1007/BF00401655zbMath0492.03007MaRDI QIDQ1167713

Atwell R. Turquette

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

undecidabilityquantifiersdual pair of axiomatic systemsminimal axiomatic systemsPeirce's triadic logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Undecidable theories
• Minimal Axioms for Peirce's Triadic Logic
• Alternative Axioms for Peirce's Triadic Logic

This page was built for publication: Quantification for Peirce's preferred system of triadic logic