Publication details
Year: 2015
Pages: 2151-2158
Series: Synthese
Full citation:
, "The equational theories of representable residuated semigroups", Synthese 192 (7), 2015, pp. 2151-2158.
The equational theories of representable residuated semigroups
pp. 2151-2158
in: Gergely Szekely (ed), Logic and relativity theory, Synthese 192 (7), 2015.Abstract
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
Publication details
Year: 2015
Pages: 2151-2158
Series: Synthese
Full citation:
, "The equational theories of representable residuated semigroups", Synthese 192 (7), 2015, pp. 2151-2158.