Three-valued logics for incomplete information and epistemic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7519 LNAI, Issue , 2012, Pages 147-159

  Ciucci, Davide ^a,b   Dubois, Didier ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIZATION; COMPLETENESS THEOREMS; EPISTEMIC LOGIC; EXPRESSIVE POWER; HILBERT; INCOMPLETE INFORMATION; INFERENCE RULES; LITERALS; LOGICAL SYSTEM; PROPOSITIONAL LANGUAGE; THREE-VALUED; THREE-VALUED LOGIC; TRUTH TABLES; TRUTH VALUES; UNCERTAINTY MANAGEMENT;

ARTIFICIAL INTELLIGENCE;

EID: 84866901385     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33353-8_12     Document Type: Conference Paper

References (24)

1. Banerjee, M., Dubois, D.: A Simple Modal Logic for Reasoning about Revealed Beliefs. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS (LNAI), vol. 5590, pp. 805-816. Springer, Heidelberg (2009)
2. Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8-37. D. Reidel (1977)
3. Bochvar, D.A.: On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. History and Philosophy of Logic 2, 87-112 (1981)
4. Borowski, L. (ed.): Selected works of J. Łukasiewicz. North-Holland, Amsterdam (1970)
5. Ciucci, D., Dubois, D.: Relationships between Connectives in Three-Valued Logics. In: Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B., Yager, R.R. (eds.) IPMU 2012, Part I. CCIS, vol. 297, pp. 633-642. Springer, Heidelberg (2012)
6. Dubois, D.: On ignorance and contradiction considered as truth-values. Logic Journal of the IGPL 16, 195-216 (2008)
7. Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: A clarification. Ann. Math. and AI 32, 35-66 (2001)
8. Dubois, D., Prade, H., Schockaert, S.: Stable models in generalized possibilistic logic. In: Proceedings KR 2012, Roma, pp. 519-529 (2012)
9. Dubois, D., Prade, H.: Generalized Possibilistic Logic. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS, vol. 6929, pp. 428-432. Springer, Heidelberg (2011)
10. Fox, J.: Motivation and demotivation of a four-valued logic. Notre Dame Journal of Formal Logic 31(1), 76-80 (1990)
11. Gaines, B.R.: Foundations of fuzzy reasoning. Int. J. of Man-Machine Studies 6, 623-668 (1976)
12. Gödel, K.: Zum intuitionistischen aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien 69, 65-66 (1932)
13. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
14. Hosoi, T.: The axiomatization of the intermediate propositional systems sn of gödel. J. Coll. Sci., Imp. Univ. Tokyo 13, 183-187 (1996)
15. Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143-160 (1969)
16. Kleene, S.C.: Introduction to metamathematics. North-Holland Pub. Co., Amsterdam (1952)
17. Nelson, D.: Constructible falsity. J. of Symbolic Logic 14, 16-26 (1949)
18. Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence 47, 3-41 (2006)
19. Sette, A.M.: On propositional calculus p1. Math. Japon 16, 173-180 (1973)
20. Sobociński, B.: Axiomatization of a partial system of three-value calculus of propositions. J. of Computing Systems 1, 23-55 (1952)
21. Surma, S.: Logical Works. Polish Academy of Sciences, Wroclaw (1977)
22. Urquhart, A.: Many-valued logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic: vol. III, Alternatives to Classical Logic, Springer (1986)
23. Vakarelov, D.: Notes on n-lattices and constructive logic with strong negation. Studia Logica 36, 109-125 (1977)
24. Wajsberg, M.: Aksjomatyzacja trówartościowego rachunkuzdań (Axiomatization of the three-valued propositional calculus). Comptes Rendus des Séances de la Societé des Sciences et des Lettres de Varsovie 24, 126-148 (1931); English Translation in [21]