Logics of formal inconsistency based on distributive involutive residuated lattices

Autor(es)

Esteva, F. ^[1] ; Figallo-Orellano, A. ^{[2, 3]} ; Flaminio, T. ^[1] ; Godo, L. ^[1]

Afiliação do(s) autor(es)

^[1] CSIC, Artificial Intelligence Res Inst IIIA, Campus UAB S-N, Bellaterra 08193 - Spain

^[2] Univ Nacl Sur UNS, Dept Matemat, RA-8000 Bahia Blanca, Buenos Aires - Argentina

^[3] Univ Campinas UNICAMP, Ctr Log Epistemol & Hist Sci CLE, BR-13083859 Campinas, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: JOURNAL OF LOGIC AND COMPUTATION; v. 31, n. 5, p. 1226-1265, JUL 2021.
• Citações Web of Science: 0

Resumo

The aim of this paper is to develop an algebraic and logical study of certain paraconsistent systems, from the family of the logics of formal inconsistency (LFIs), which are definable from the degree-preserving companions of logics of distributive involutive residuated lattices (dIRLs) with a consistency operator, the latter including as particular cases, Nelson logic (NL), involutive monoidal t-norm based logic (IMTL) or nilpotent minimum (NM) logic. To this end, we first algebraically study enriched dIRLs with suitable consistency operators. In fact, we consider three classes of consistency operators, leading respectively to three subquasivarieties of such expanded residuated lattices. We characterize the simple and subdirectly irreducible members of these quasivarieties, and we extend Sendlewski's representation results for the case of Nelson lattices with consistency operators. Finally, we define and axiomatize the logics of three quasivarieties of dIRLs and their corresponding degree-preserving companions that belong to the family of LFIs. (AU)

• Processo FAPESP: 16/21928-0 - Semânticas não-determinísticas para as lógicas da inconsistência formal
• Beneficiário: Aldo Figallo Orellano
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado