✦ LIBER ✦

Strong normalization of classical natural deduction with disjunctions

✍ Scribed by Koji Nakazawa; Makoto Tatsuta

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Short Proof of the Strong Normalizatio

✍ René David and Karim Nour 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 294 KB

Strong Normalization Proof with CPS-Tran

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

Corrigendum to "Strong Normalization Pro

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

Full classical S5 in natural deduction w

✍ Ana Teresa Martins; Lilia Ramalho Martins 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 313 KB

A semantical proof of the strong normali

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

On the Strong Normalisation of Intuition

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