✦ LIBER ✦

The degree of completeness of a partial system of the 2-valued Propositional Calculus

✍ Scribed by Alan Rose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of completeness of the two-value

✍ W. Sadowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

The Functional Completeness of Post's m-

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

On some partial systems of the propositi

✍ J. Słupecki 📂 Article 📅 1958 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

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

A formalisation of the 2-valued proposit

✍ Alan Rose 📂 Article 📅 1954 🏛 Springer 🌐 English ⚖ 192 KB