✦ LIBER ✦

The Shortest Axiom of the Implicational Calculus of Propositions

✍ Scribed by Jan Łukasiewicz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Shortest Axioms of the Implicational

✍ Review by: Ann S. Ferebee 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 99 KB

The shortest possible length of the long

✍ Dolph Ulrich 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 384 KB

The independence of axioms in the propos

✍ Hughes, G.E. 📂 Article 📅 1957 🏛 Taylor and Francis Group 🌐 English ⚖ 406 KB

A single axiom for a partial system of t

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

On the Independence of Henkin's Axioms f

✍ Maurice L'Abbé 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 289 KB

Shortest Single Axioms for the Equivalen

✍ Kahlil Hodgson 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 481 KB