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.

• Type: Journal
• Year: 2011
• Where: IGPL
• Authors: Szabolcs Mikulás
• Keywords: Equational Theory, IGPL 2011, Information Technology, Lattice-ordered Residuated Semigroups, Substructural Logics