✦ LIBER ✦

Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus

✍ Scribed by Igor Walukiewicz

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

The Functional Completeness of Post's m-

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

Strong Completeness of Fragments of the

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

The Complete Axiomatisation of any Many-

✍ John Williamson 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 481 KB 👁 1 views

A proof of completeness of the two-value

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

Structural Completeness of the Propositi

✍ Review by: Mircea Tîrnoveanu 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 111 KB