Ideal Paraconsistent Logics
作者： O. Arieli , A. Avron , A. Zamansky
DOI: 10.1007/S11225-011-9346-Y
关键词:
摘要: We define in precise terms the basic properties that an `ideal propositional paraconsistent logic' is expected to have, and investigate relations between them. This leads a characterization of ideal logics. show every three-valued logic which contained classical logic, has proper implication connective, ideal. Then we for n > 2 there exists extensive family n-valued logics, each one not equivalent any k-valued with k < n.
springer.com
core.ac.uk
philpapers.org
jstor.org 
sci-hub.se 参考文章(35)
Diderik Batens, Paraconsistent extensional propositional logics Logique Et Analyse. ,vol. 23, pp. 195- 234 ,(1980)
Arnon Avron, Anna Zamansky, Non-Deterministic Semantics for Logical Systems Handbook of Philosophical Logic. pp. 227- 304 ,(2011) , 10.1007/978-94-007-0479-4_4
Alasdair Urquhart, Basic Many-Valued Logic Springer Netherlands. pp. 249- 295 ,(2001) , 10.1007/978-94-017-0452-6_4
G. Priest, Reasoning about truth (research note) Artificial Intelligence. ,vol. 39, pp. 231- 244 ,(1989) , 10.1016/0004-3702(89)90027-1
Joao Marcos, 8K solutions and semi-solutions to a problem of da Costa ,(2000)
Manuel Eugen Bremer, An introduction to paraconsistent logics Peter Lang. ,(2005)
W. Carnielli, J.-Y. Beziau, D. M. Gabbay, Handbook of paraconsistency College Publications. ,(2007)
Grzegorz Malinowski, Many-Valued Logics ,(1994)
Ofer Arieli, Arnon Avron, Anna Zamansky, What is an ideal logic for reasoning with inconsistency international joint conference on artificial intelligence. pp. 706- 711 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-125
Walter Carnielli, Marcelo E Coniglio, Joao Marcos, None, Logics of Formal Inconsistency Springer Netherlands. pp. 1- 93 ,(2007) , 10.1007/978-1-4020-6324-4_1