FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
Jeffrey S. Olson · International Journal of Algebra and Computation · 2008
The structure of simple and directly indecomposable members of the variety RICRL of representable idempotent commutative residuated lattices is described. These descriptions are employed to determine the size and structure of free algebras in RICRL, using existing theory on the Fraser–Horn and Apple properties. A formula for the free spectrum of RICRL is given.