Open AccessMany-Valued Logics and Bivalent Modalities
Author(s) -
Edson Bezerra,
Giorgio Venturi
Publication year - 2022
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2022.013
Subject(s) - modalities , bivalent (engine) , modal , computer science , mathematics , modal operator , modal logic , algorithm , theoretical computer science , sociology , materials science , social science , polymer chemistry , metal , metallurgy
In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.