papers
Publications (2)
cs.LO2026
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
M. E. Coniglio, F. Esteva, J. Gispert +1
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 int…
math.LO2009
Logics preserving degrees of truth from varieties of residuated lattices
F. Bou, F. Esteva, J. M. Font +4
Let K be a variety of (commutative, integral) residuated lattices. The substructural logic usually associated with K is an algebraizable logic that has K as its equivalent algebrai…