From paraconsistent three-valued logics to multiple-source epistemic logic

8th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2013 - Advances in Intelligent Systems Research

Volumn 32, Issue , 2013, Pages 780-787

  Ciucci, Davide ^a   Dubois, Didier ^b  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CARRY LOGIC; COMPUTER CIRCUITS; FUZZY LOGIC; INTELLIGENT SYSTEMS;

EPISTEMIC LOGIC; INCOMPLETE INFORMATION; LITERALS; MODAL LOGIC; MULTIPLE SOURCE; THREE-VALUED LOGIC; TRUTH VALUES;

MANY VALUED LOGICS;

EID: 84891765640     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2991/eusflat.2013.116     Document Type: Conference Paper

References (20)

1. A R Anderson and N D Belnap, Entailment. The logic of relevance and necessity, Princeton University Press, Princeton, New Jersey, 1975
2. F G Asenjo, A calculus of antinomies, Notre Dame J. Formal Log. 7 (1966), 103-105
3. F G Asenjo and J Tamburino, Logic of antinomies, Notre Dame J. Formal Log. 16 (1975), 17-44
4. A Avron, On An Implication Connective of RM, Notre Dame J. Formal Log. 27 (1986), 201-209
5. M Banerjee and D Dubois, A simple modal logic for reasoning about revealed beliefs, Proc. ECSQARU 2009, Verona, Italy, LNAI 5590 (C Sossai and G Chemello, eds.), Springer-Verlag, 2009, pp. 805-816
6. N D Belnap, A useful four-valued logic, Modern Uses of Multiple-Valued Logic (J M Dunn and G Epstein, eds.), D. Reidel, 1977, pp. 8-37
7. R Brady, Completeness proofs for the systems RM3 and BN4, Logique et Analyse 25 (1982), 51-61
8. B. F. Chellas, Modal logic: an introduction, Cambridge University Press, 1980
9. D Ciucci and D Dubois, Relationships between connectives in three-valued logics, Proc. IPMU Conference, Catania, CCIS, vol. 297, Springer, 2012, pp. 633-642
10. , Three-valued logics for incomplete information and epistemic logic, Proc. 13th European Conference on Logics in Artificial Intelligence (JELIA), Toulouse, France, LNCS, vol. 7519, 2012, pp. 147-159
11. N C A da Costa and E H Alves, Relations between paraconsistent logics and many-valued logic, Bull. Sec. Logic Polish Acad. Sci. 10 (1981), 185-191
12. I M L D'Ottaviano and N C A da Costa, Sur un problème de Jaskowski, Comptes Rendus de l'Académie des Science 270 (1970), 1349-1353
13. D Dubois, Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic, Soft Comput. 16 (2012), no. 11, 1817-1831
14. S Jaskowski, Propositional calculus for contradictory deductive systems, Studia Logica 24 (1969), 143-160
15. J Lawry and I González Rodriguez, A bipolar model of assertability and belief, Int. J. Approx. Reasoning 52 (2011), no. 1, 76-91
16. W. Carnielli M. Lima-Marques, Society semantics for multiple-valued logics, Advances in Contemporary Logic and Computer Science, Contemporary Mathematics, vol. 235, American Mathematical Society, 1999, pp. 33-52
17. G Priest, The Logic of Paradox, J. Philos. Logic 8 (1979), 219-241
18. A M Sette, On propositional calculus P-1, Math. Japon. 16 (1973), 173-180
19. B Sobocinski, Axiomatization of a partial system of three-value calculus of propositions, J. of Computing Systems 1 (1952), 23-55
20. K. Tanaka, F. Berto, E. Mares, and F. Paoli (eds.), Paraconsistency: Logic and applications, Springer, 2013.