Logics of formal inconsistency based on distributive involutive residuated lattices
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 consi...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/240506 |
| Acceso en línea: | http://hdl.handle.net/10261/240506 |
| Access Level: | acceso abierto |
| Palabra clave: | Logics of formal inconsistency Paraconsistent logics Degree-preserving logics Distributive involutive residuated lattices Nelson lattices |
| Sumario: | 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. |
|---|