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