✦ LIBER ✦

On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus

✍ Scribed by Maurice L'Abbé

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Independence of Henkin's Axioms f

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

The independence of axioms in the propos

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

Fragments of the Propositional Calculus

✍ Leon Henkin 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 878 KB

The Shortest Axiom of the Implicational

✍ Jan Łukasiewicz 📂 Article 📅 1948-1950 ⚖ 826 KB

Strong Completeness of Fragments of the

✍ Alan Rose 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 173 KB

The Separation Theorem for Fragments of

✍ G. Rousseau 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 325 KB 👁 1 views