Combining classical logic, paraconsistency and relevance |
| |
Authors: | Arnon Avron |
| |
Affiliation: | aSchool of Computer Science, Tel-Aviv University, Israel |
| |
Abstract: | 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. |
| |
Keywords: | Paraconsistency Relevance logic Classical logic Many-valued semantics Gentzen-type systems |
本文献已被 ScienceDirect 等数据库收录! |
|