✦ LIBER ✦

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

✍ Scribed by Norihiro Kamide; Heinrich Wansing

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Proof-Technique in Uniform Space Theor

✍ Douglas Bridges and Luminiţa Vîţă 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 247 KB

Corrigendum to "A Proof-Technique in Uni

✍ Douglas Bridges and Luminiţa Vîţă 📂 Article 📅 2004 🏛 Association for Symbolic Logic 🌐 English ⚖ 97 KB

A strictly finitary non-triviality proof

✍ Arief Daynes 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 127 KB

Algebra, Proof Theory and Applications f

✍ Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 293 KB

A Proof of the Cut-Elimination Theorem i

✍ Satoko Titani 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 291 KB

[Trends in Logic] Advances in Natural De

✍ Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria 📂 Article 📅 2014 🏛 Springer Netherlands ⚖ 151 KB