✦ LIBER ✦

An Axiom System for the Propositional Calculusby Erik Götlind

✍ Scribed by Review by: Oiva Ketonen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concerning an Axiom System of the Implic

✍ Review by: Bolesław Sobociński 📂 Article 📅 1955 🏛 Association for Symbolic Logic 🌐 English ⚖ 285 KB

A Leśniewski-Mihailescu-Theorem for m-Va

✍ Review by: Gene F. Rose 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 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 Note on Götlind's Axiom System for the

✍ Review by: Nicholas Rescher 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 330 KB

A System of Postulates for Lewis's Calcu

✍ Review by: A. F. Bausch 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 256 KB

A single axiom for a partial system of t

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