Bipolarity in bilattice logics

International Journal of Intelligent Systems

Volumn 23, Issue 10, 2008, Pages 1046-1061

  Konieczny, Sébastien ^a   Marquis, Pierre ^a   Besnard, Philippe ^b  

^a UNIV LILLE   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; TRANSISTOR TRANSISTOR LOGIC CIRCUITS;

BILATTICE; BILATTICES; MULTIVALUED LOGICS; NONMONOTONIC; PREORDERS; TRUTH VALUES;

KETONES;

EID: 55349083674     PISSN: 08848173     EISSN: 1098111X     Source Type: Journal    
DOI: 10.1002/int.20306     Document Type: Article

References (26)

1. Belnap ND. A useful four-valued logic. In: Epstein G, editor. Modern uses of multiple-valued logic. The Netherlands: Reidel; Dordrecht, pp 8-37.
2. Belnap ND. How a computer should think. In: Ryle G, editor. Contemporary aspects of philosophy. Stocksfield, UK. Oriel Press; 1997. pp 30-56.
3. Arieli O, Avron A. The value of four values. Artifi Intell 1998;102:97-141.
4. Fox J. Motivation and demotivation of a four-valued logic. Notre Dame J Formal Logic 1990;31(1):76-80.
5. Dubois D. On ignorance contradiction considered as truth values. Submitted.
6. Ginsberg ML. Multivalued logics: A uniform approach to reasoning in artificial intelligence. Comput Intell 1988;4:256-316.
7. Avron A. A note on the structure of bilattices. Math Struct Comput Sci 1995;5:431-438.
8. Birkhoff G. Lattice theory, 3rd edition. Providence, RI: American Mathematical Society; 1967.
9. Sim KM. Bilattices reasoning in artificial intelligence: Concepts and foundations. Artif Intell Rev 2001;15:219-240.
10. Arieli O, Avron A. Logical bilattices and inconsistent data. In: Proc Ninth Symp on Logic in Computer Science (LICS'94), 1994; pp 468-476.
11. Arieli O, Avron A. Reasoning with logical bilattices. J Logic, Language Inform 1996;5(1):25-63.
12. Fitting M. Bilattices in logic programming. In: Proc 20th Int Symp on Multiple-Valued Logics; 1990. pp 238-246.
13. Fitting M. Bilattices the semantics of logic programming. J Logic Program 1991;11(2):91-116.
14. Fitting M. The family of stable models. J Logic Program 1993;17:197-225.
15. Fitting M. Kleene's three-valued logics their children. Fundam Inform 1994;20:113-131.
16. Varzi AC, Warglien M. The geometry of negation. Appl NonClass Logics 2003;13:9-19.
17. Shoham Y. A semantical approach to nonmonotonic logics. In: Proc Symp on Logic in Computer Science (LICS'87); 1987. pp 275-279.
18. Kraus S, Lehmann D, Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics. Artif Intell 1990;44:167-207.
19. Lehmann D, Magidor M. What does a conditional knowledge base entail? Artif Intell 1992;55:1-60.
20. Makinson D. General patterns in nonmonotonic reasoning. In: Hogger C, Gabbay D, Robinson J, editors. Handbook of logic in artificial intelligence and logic programming. Oxford, UK: Clarendon Press, 1994. Vol 3, pp 35-110.
21. Bezzazi H, Pino Pérez R. Rational transitivity and its models. In: Proc Twenty Sixth Int Symp on Multiple-Valued Logics. IEEE Computer Society Press; 1996. pp 160-165.
22. Bezzazi H, Makinson D, Pino Pérez R. Beyond rational monotony: Some strong non-horn rules for nonmonotonic inference relations. J Logic Comput 1997;7:605-631.
23. Freund M. Injective models and disjunctive relations. J Logic Comput 1993;3(3):231-247.
24. Coste-Marquis S, Marquis P. On the complexity of paraconsistent inference relations. In: Inconsistency Tolerance. LNCS Vol 3300. Berlin: Springer; 2005. pp 151-190.
25. Zhang WR, Zhang L. Yin yang bipolar logic bipolar fuzzy logic. Inform Sci 2004; 165:265-287.
26. Gargov G. Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Appl Non-Class Logics 1999;9:195-283.