✦ LIBER ✦

A Couple of Novelties in the Propositional Calculus

✍ Scribed by C. A. R. Hóre

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

A Strongly Complete Formalisation of a 5

✍ Alan Rose† 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB 👁 1 views

The Functional Completeness of Post's m-

✍ Sally Barton 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB

The Separation Theorem for Fragments of

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

The Finite Model Property and Subsystems

✍ Ronald Harrop 📂 Article 📅 1959 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB

A Formalisation of The χ0-Valued ŁUkasie

✍ Alan Rose 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB