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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom