✦ LIBER ✦

A Single Axiom for a Partial System of the Propositional Calculusby Alan Rose

✍ Scribed by Review by: Gene F. Rose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A single axiom for a partial system of t

✍ Alan Rose 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

Strong Completeness of Fragments of the

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

A Reduction in the Number of the Axioms

✍ Review by: W. V. Quine 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 202 KB

A Formalization of the C-0 Propositional

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

A Formalisation of Post's m-Valued Propo

✍ Review by: William T. Parry 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 351 KB

Conditioned Disjunction as a Primitive C

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