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…