✦ LIBER ✦

Minimal Axioms for Peirce's Triadic Logic

✍ Scribed by Atwell R. Turquette

Publisher: John Wiley and Sons
Year: 1976
Tongue: English
Weight: 427 KB
Volume: 22
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19760220123

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Alternative Axioms for Peirce's Triadic

Alternative Axioms for Peirce's Triadic Logic

✍ Atwell R. Turquette 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 124 KB

Quantification for Peirce's preferred sy

Quantification for Peirce's preferred system of triadic logic

✍ Atwell R. Turquette 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 610 KB

Without introducing quantifiers, minimal axiomatic systems have already been constructed for l%irce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis

Independent Axioms for the Implicational

Independent Axioms for the Implicational Fragment of Sobociński's Three-Valued Logic

✍ Robert K. Meyer; Zane Parks 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB

Proof theory for minimal quantum logic I

Proof theory for minimal quantum logic II

✍ Hirokazu Nishimura 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 635 KB

Proof theory for minimal quantum logic I

✍ Hirokazu Nishimura 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 496 KB

Proof theory for minimal quantum logic:

Proof theory for minimal quantum logic: A remark

✍ Mitio Takano 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 180 KB