Sciweavers

Share
IGPL
2011

On representable ordered residuated semigroups

8 years 1 months ago
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
Szabolcs Mikulás
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where IGPL
Authors Szabolcs Mikulás
Comments (0)
books