✦ LIBER ✦

A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction

✍ Scribed by René David and Karim Nour

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong normalization of classical natura

✍ Koji Nakazawa; Makoto Tatsuta 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 719 KB

Strong Normalization Proof with CPS-Tran

✍ Koji Nakazawa and Makoto Tatsuta 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 239 KB

A semantical proof of the strong normali

✍ Karim Nour; Khelifa Saber 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 150 KB

Corrigendum to "Strong Normalization Pro

✍ Koji Nakazawa and Makoto Tatsuta 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 93 KB

On the Strong Normalisation of Intuition

✍ Philippe de Groote 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 145 KB

The strong proof from hypotheses and con

✍ E. A. Sidorenko 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 503 KB