Many-Valued Logics and Bivalent Modalities

Autor(es)

Bezerra, E. ; Venturi, G.

• Tipo de documento: Artigo Científico
• Fonte: LOGIC AND LOGICAL PHILOSOPHY; v. N/A, p. 26-pg., 2022-04-11.

Resumo

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)

• Processo FAPESP: 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível
• Beneficiário: Giorgio Venturi
• Modalidade de apoio: Auxílio à Pesquisa - Jovens Pesquisadores