Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)

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

Authors
Davide Ciucci, Didier Dubois
Corresponding Author
Davide Ciucci
Available Online August 2013.
DOI
10.2991/eusflat.2013.116How to use a DOI?
Keywords
paraconsistent logic epistemic logic multiple source system
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.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)
Series
Advances in Intelligent Systems Research
Publication Date
August 2013
ISBN
978-90786-77-78-9
ISSN
1951-6851
DOI
10.2991/eusflat.2013.116How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Davide Ciucci
AU  - Didier Dubois
PY  - 2013/08
DA  - 2013/08
TI  - From paraconsistent three-valued logics to multiple-source epistemic logic
BT  - Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)
PB  - Atlantis Press
SP  - 820
EP  - 827
SN  - 1951-6851
UR  - https://doi.org/10.2991/eusflat.2013.116
DO  - 10.2991/eusflat.2013.116
ID  - Ciucci2013/08
ER  -