We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: