OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Ciucci, Davide and Dubois, Didier From paraconsistent three-valued logics to multiple-source epistemic logic. (2013) In: 8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), 11 September 2013 - 13 September 2013 (Milan, Italy).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
299kB

Official URL: http://dx.doi.org/10.2991/eusflat.2013.116

Abstract

Several interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time. We study several paraconsistent three-valued logics that carry this concern and show that they can be translated into a fragment of a simple epistemic logic where modalities can only appear in front of literals. This logic is unusual in the sense that necessity modalities distribute over disjunctions instead of conjunctions. An equivalent translation into a fragment of KD modal logic can be obtained by exchanging the role of possibility and necessity modalities, highlighting the perfect symmetry between three-valued logics of contradiction and three-valued logics of incomplete information.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Altantis Press. ISBN: 978-90786-77-78-9 The definitive version is available at :http://www.atlantis-press.com/php/pub.php?publication=eusflat-13&frame=http%3A//www.atlantis-press.com/php/paper-details.php%3Fid%3D8478
HAL Id:hal-01212932
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Università degli Studi di Milano-Bicocca - BICOCCA (ITALY)
Laboratory name:
Statistics:download
Deposited On:15 Sep 2015 14:51

Repository Staff Only: item control page