✦ LIBER ✦

Strong Completeness of Fragments of the Propositional Calculus

✍ Scribed by Alan Rose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness of the Propositional Calcul

✍ W. V. Quine 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 381 KB

Fragments of the Propositional Calculus

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

Fragments of them-valued propositional c

✍ Alan Rose 📂 Article 📅 1953 🏛 Springer-Verlag 🌐 French ⚖ 229 KB

Completeness of Kozen's Axiomatisation o

✍ Igor Walukiewicz 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 394 KB

The Functional Completeness of Post's m-

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

Strong Completeness of Fragments of the

✍ Review by: R. C. Lyndon 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB