𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Combining classical logic, paraconsisten
✍ 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