✦ LIBER ✦

Proof analysis in intermediate logics

✍ Scribed by Roy Dyckhoff; Sara Negri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof Analysis in Modal Logic

✍ Sara Negri 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 362 KB

Counting proofs in propositional logic

✍ René David; Marek Zaionc 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 196 KB

Proof-search and Proof Nets in Mixed Lin

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

An algebraic approach to intuitionistic

✍ Nobu-Yuki Suzuki 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 650 KB

New proofs in default logic theory

✍ G. Antoniou; E. Langetepe; V. Sperschneider 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 903 KB

A logic covering undefinedness in progra

✍ H. Barringer; J. H. Cheng; C. B. Jones 📂 Article 📅 1984 🏛 Springer-Verlag 🌐 English ⚖ 768 KB