Skip to main content
Article thumbnail
Location of Repository

5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi

By Arnon Avron

Abstract

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.

Year: 2008
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.7355
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://antares.math.tau.ac.il/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.