PL EN


2008 | 14(27) | 127-136
Article title

5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi

Authors
Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
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
Issue
Pages
127-136
Physical description
Document type
ARTICLE
Contributors
author
  • Arnon Avron, School of Computer Science, Tel-Aviv University, Tel-Aviv, Israel
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA101414
YADDA identifier
bwmeta1.element.a5a4e5da-5e0b-305d-9d75-9add5fda53b2
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.