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

• Authors: Avron Arnon
• 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.

Keywords

EN

INCONSISTENCY; MCI LOGIC; NONDETERMINISTIC MATRIX; PARACONSISTENT LOGIC

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Bialystok University Press
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2008
• Issue: 14(27)
• Pages: 127-136
• Document type: ARTICLE

Contributors

author

Avron Arnon

• Arnon Avron, School of Computer Science, Tel-Aviv University, Tel-Aviv, Israel

Identifiers

CEJSH db identifier

11PLAAAA101414