5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi
Studies in Logic, Grammar and Rhetoric 14 (27) (2008)
| Authors |
|
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
An Introduction to Paraconsistent Logics.Manuel Bremer - 2005 - Bulletin of Symbolic Logic 11 (3):447-451.
Multi-Valued Calculi for Logics Based on Non-Determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Citations of this work BETA
Similar books and articles
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.Arnon Avron - manuscript
Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.Arnon Avron - unknown
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Multi-Valued Calculi for Logics Based on Non-Determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Analytics
Added to PP index
2009-01-28
Total views
14 ( #732,420 of 2,507,894 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,894 )
2009-01-28
Total views
14 ( #732,420 of 2,507,894 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,894 )
How can I increase my downloads?
Downloads
