✦ LIBER ✦

Combining and automating classical and non-classical logics in classical higher-order logics

✍ Scribed by Christoph Benzmüller

Publisher: Springer Netherlands
Year: 2011
Tongue: English
Weight: 502 KB
Volume: 62
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-011-9249-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation in non-classical logics

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

Definability and Interpolation in Non-Cl

Definability and Interpolation in Non-Classical Logics

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

Automated theorem proving for non-classi

Automated theorem proving for non-classical logics

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

Combining classical logic, paraconsisten

Combining classical logic, paraconsistency and relevance

✍ Arnon Avron 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 289 KB

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal f

Characterizations of classical and quant

Characterizations of classical and quantum logics

✍ E. G. Beltrametti; M. J. Mączyński 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 363 KB 👁 1 views

Automated theorem proving by resolution

Automated theorem proving by resolution in non-classical logics

✍ Viorica Sofronie-Stokkermans 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 600 KB