The equational theories of representable residuated semigroups
pp. 2151-2158
Abstract
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
Publication details
Published in:
Székely Gergely (2015) Logic and relativity theory. Synthese 192 (7).
Pages: 2151-2158
DOI: 10.1007/s11229-014-0513-3
Full citation:
Mikulás Szabolcs (2015) „The equational theories of representable residuated semigroups“. Synthese 192 (7), 2151–2158.