Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call