✦ LIBER ✦

A Formalization of the C-0 Propositional Calculusby Alan Rose

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong Completeness of Fragments of the

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

A Formalisation of Post's m-Valued Propo

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

A Single Axiom for a Partial System of t

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

A Reduction in the Number of the Axioms

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

Conditioned Disjunction as a Primitive C

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

Systems of Logic Whose Truth-Values Form

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