| Full text | |
| Author(s): |
Total Authors: 4
|
| Affiliation: | [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
Total Affiliations: 3
|
| Document type: | Journal article |
| Source: | JOURNAL OF LOGIC AND COMPUTATION; v. 31, n. 5, p. 1226-1265, JUL 2021. |
| Web of Science Citations: | 0 |
| Abstract | |
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) | |
| FAPESP's process: | 16/21928-0 - Non-deterministic model for paraconsistent set theory |
| Grantee: | Aldo Figallo Orellano |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |