The subvariety lattice for representable idempotent commutative residuated lattices

摘要

RICRL denotes the variety of commutative residuated lattices which have an idempotent monoid operation and are representable in the sense that they are subdirect products of linearly ordered algebras. It is shown that the subvariety lattice of RICRL is countable, despite its complexity and in contrast to several varieties of closely related algebras.