From Possibility theory to Paraconsistency (World Congress on Paraconsistency 2014) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

From Possibility theory to Paraconsistency (World Congress on Paraconsistency 2014)

Résumé

The significance of three-valued logics partly depends on the interpretation of the third truth-value. When it refers to the idea of unknown, we have shown that a number of three-valued logics, especially Kleene, Łukasiewicz, and Nelson, can be encoded in a simple fragment of the modal logic KD, called MEL, containing only modal formulas without nesting. This is the logic of possibility theory, the semantics of which can be expressed in terms of all-or-nothing possibility distributions representing an agent’s epistemic state. Here we show that this formalism can also encode some three-valued paraconsistent logics, like Priest, Jaśkowski, and Sobociński’s, where the third truth-value represents the idea of contradiction. The idea is just to change the designated truth-values used for their translations. We show that all these translations into modal logic are very close in spirit to Avron’s early work expressing natural three-valued logics using hypersequents. Our work unifies a number of existing formalisms and the translation also highlights the perfect symmetry between three-valued logics of contradiction and three-valued logics of incomplete information, which corresponds to a swapping of modalities in MEL.
Fichier non déposé

Dates et versions

hal-03224136 , version 1 (11-05-2021)

Identifiants

Citer

Davide Ciucci, Didier Dubois. From Possibility theory to Paraconsistency (World Congress on Paraconsistency 2014). 5th World Congress on Paraconsistency (WCP 2014), Feb 2014, Calcutta, India. pp.229-247, ⟨10.1007/978-81-322-2719-9_10⟩. ⟨hal-03224136⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More