Combining classical logic, paraconsistency and relevance

✍ Scribed by Arnon Avron

• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 289 KB
• Volume: 3
• Category: Article
• ISSN: 1570-8683
• DOI: 10.1016/j.jal.2004.07.015

✦ Synopsis

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 from the semantic point of view.