Many-Valued Logics and Bivalent Modalities

Author(s)

Bezerra, E. ; Venturi, G.

• Document type: Journal article
• Source: LOGIC AND LOGICAL PHILOSOPHY; v. N/A, p. 26-pg., 2022-04-11.

Abstract

In this paper, we investigate the family (S0.5) pound of many-valued modal logics L-S0.5's. We prove that the modalities square and lozenge of the logics L-S0(.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. (AU)

• FAPESP's process: 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable
• Grantee: Giorgio Venturi
• Support Opportunities: Research Grants - Young Investigators Grants