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.

this paper consider the   general  forms of $(alpha,beta)$-fuzzyleft ideals (right ideals, bi-ideals, interior ideals) of an orderedsemigroup, where$alpha,betain{in_{gamma},q_{delta},in_{gamma}wedgeq_{delta}, in_{gamma}vee q_{delta}}$ and $alphaneqin_{gamma}wedge q_{delta}$. special attention is paid to$(in_{gamma},ivq)$-left ideals (right ideals, bi-ideals, interiorideals) and some related  pr...