On representable ordered residuated semigroups
Mikulás, Szabolcs (2011) On representable ordered residuated semigroups. Logic Journal of the IGPL 19 (1), pp. 233-240. ISSN 1367-0751.
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.
|Keyword(s) / Subject(s):||Residuated semigroups, relation algebras, finite axiomatizability, substructural logics, Lambek calculus|
|School:||Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems|
|Date Deposited:||20 Jun 2011 14:55|
|Last Modified:||17 Apr 2013 12:20|
Additional statistics are available via IRStats2.