✦ LIBER ✦

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

✍ Scribed by Paolo Gentilini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof-Theoretic Modal PA-Completeness II

✍ Paolo Gentilini 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 714 KB

Proof-Theoretic Modal PA-Completeness I:

✍ Paolo Gentilini 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 713 KB

Proof-Theoretic Functional Completeness

✍ Torben Braüner 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 407 KB

On some proof theoretical properties of

✍ Marco Borga 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

A Proof-Theoretic Study of the Correspon

✍ H. Kushida and M. Okada 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 271 KB

A complete modal proof system for HAL: t

✍ Zineb Habbas 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 915 KB