Coniglio, Marcelo E.Esteva Massaguer, FrancescGispert Brasó, JoanGodo i Lacasa, Lluís2026-01-142026-01-152021-07-31Coniglio, 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_6978-3-030-71257-0978-3-030-71258-7https://hdl.handle.net/2445/225436In 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.34 p.application/pdfeng(c) Marcelo E. Coniglio et al., 2021Lògica algebraicaLògica matemàticaAlgebraic logicMathematical logicinfo:eu-repo/semantics/bookParthttps://doi.org/10.1007/978-3-030-71258-7_6info:eu-repo/semantics/openAccess