Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9517932 | Journal of Applied Logic | 2005 | 28 Pages |
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
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Arnon Avron,