Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915726056488960 |
|---|---|
| author | Coniglio, M. E. Esteva, F. Gispert, J. Godo, L. |
| author_facet | Coniglio, M. E. Esteva, F. Gispert, J. Godo, L. |
| contents | In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts. Although these degree-preserving Godel logics are explosive with respect to Godel negation, they are paraconsistent with respect to the involutive negation. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between the degree-preserving n-valued Godel fuzzy logic with an involution and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Lukasiewicz logics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_08474 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency Coniglio, M. E. Esteva, F. Gispert, J. Godo, L. Logic in Computer Science Logic F.4.1, I.2.4 In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts. Although these degree-preserving Godel logics are explosive with respect to Godel negation, they are paraconsistent with respect to the involutive negation. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between the degree-preserving n-valued Godel fuzzy logic with an involution and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Lukasiewicz logics. |
| title | Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency |
| topic | Logic in Computer Science Logic F.4.1, I.2.4 |
| url | https://arxiv.org/abs/2601.08474 |