✦ LIBER ✦

A proof of completeness of the two-valued propositional calculus

✍ Scribed by W. Sadowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Functional Completeness of Post's m-

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

A proof of axiomatizability of łukasiewi

✍ T. Prucnal 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 23 KB

The degree of completeness of a partial

✍ Alan Rose 📂 Article 📅 1951 🏛 Springer-Verlag 🌐 French ⚖ 161 KB

A Strongly Complete Formalisation of a 5

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

A formalisation of post'sm-valued propos

✍ Alan Rose 📂 Article 📅 1952 🏛 Springer-Verlag 🌐 French ⚖ 449 KB

Proof of axiomatizability of full many-v

✍ Jerzy Słupecki 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 804 KB