5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi
Arnon Avron · 2008
One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics. 1