✦ LIBER ✦

Canonical proof nets for classical logic

✍ Scribed by McKinley, Richard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Proof System for Classical Logic

✍ Witold A. Pogorzelski; Piotr Wojtylak 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 145 KB

Proof-search and Proof Nets in Mixed Lin

✍ D. Galmiche; J.M. Notin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Proof nets sequentialisation in multipli

✍ Paolo Di Giamberardino; Claudia Faggian 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 551 KB

Proof internalization in generalized Fre

✍ Savateev, Yury 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 300 KB

Kripke semantics and proof systems for c

✍ Chuck Liang; Dale Miller 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 357 KB

Proof-Nets, Hybrid Logics and Minimalist

✍ Alain Lecomte 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 136 KB