✦ LIBER ✦

A Reduction in the Number of the Axioms of the Propositional Calculusby Alan Rose

✍ Scribed by Review by: W. V. Quine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Single Axiom for a Partial System of t

✍ Review by: Gene F. Rose 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 81 KB

A Formalization of the C-0 Propositional

✍ Review by: Alonzo Church 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 212 KB

Strong Completeness of Fragments of the

✍ Review by: R. C. Lyndon 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

The Independence of Axioms in the Propos

✍ Review by: M. D. Gladstone 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 191 KB

Conditioned Disjunction as a Primitive C

✍ Review by: A. R. Turquette 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB

On the Independence of Henkin's Axioms f

✍ Review by: Sören Halldén 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB