✦ LIBER ✦

Non-standard logics for automated reasoning

✍ Scribed by Ian Graham

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated reasoning and nonclassical log

✍ Michael A. McRobbie 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 316 KB

A Framework for Automated Reasoning in M

✍ James J. Lu; Neil V. Murray; Erik Rosenthal 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

Automated theorem proving for non-classi

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

Strong non-standard completeness for fuz

✍ Tommaso Flaminio 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 277 KB

Informational Logic as a Tool for Automa

✍ Paola Forcheri; Paolo Gentilini; Maria Teresa Molfino 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 404 KB

Preferential Reasoning for Modal Logics

✍ Katarina Britz; Thomas Meyer; Ivan Varzinczak 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 269 KB