Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Fitxers

ConEsGisGo21PPrint.pdf (3.85 MB)

Tipus de document

Part del llibre

Data de publicació

2021-07-31

Tots els drets reservats

Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/225436

Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

In this paper, we study intermediate logics between the logic $\mathrm{G}_{\sim}^{\leq}$, the degree-preserving companion of Gödel fuzzy logic with involution $\mathrm{G}_{\sim}$, and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts $\mathrm{G}_{n \sim}^{\leq}$. Although $\mathrm{G}_{\sim}^{\leq}$ and $\mathrm{G}_{n \sim}^{\leq}$are explosive w.r.t. Gödel negation $\neg$, they are paraconsistent w.r.t. the involutive negation $\sim$. 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 $\mathrm{G}_{n \sim}^{\leq}$and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued $\L$ukasiewicz logics.

Matèries

Lògica algebraica, Lògica matemàtica

Matèries (anglès)

Algebraic logic, Mathematical logic

Citació

Coniglio, M.E., Esteva, F., Gispert, J., Godo, L. (2021). Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency. In: Arieli, O., Zamansky, A. (eds) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic, vol 21. Springer, Cham. ISBN: 978-3-030-71258-7. https://doi.org/10.1007/978-3-030-71258-7_6

Col·leccions

Llibres / Capítols de llibre (Matemàtiques i Informàtica)

Citació

CONIGLIO, Marcelo E., et al. Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. Capítol del llibre: Arieli. O.. Vol.  Zamansky, num. (eds) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. ISBN 978-3-030-71257-0. [consulted: 10 of August of 2026]. Available at: https://hdl.handle.net/2445/225436

Exportar metadades

JSON - METS

Compartir registre