✦ LIBER ✦

On AGM for Non-Classical Logics

✍ Scribed by Renata Wassermann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated theorem proving for non-classi

📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 14 KB

Combining and automating classical and n

✍ Christoph Benzmüller 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 502 KB

Interpolation in non-classical logics

✍ Giovanna D’Agostino 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 193 KB

On lengths of proofs in non-classical lo

✍ Pavel Hrubeš 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 653 KB

Contributions to the Model Theory for No

✍ Bernd Dahn 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 485 KB 👁 2 views

Definability and Interpolation in Non-Cl

✍ Larisa Maksimova 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 245 KB