Mikulás, Szabolcs (2011) On representable ordered residuated semigroups. Logic Journal of the IGPL 19 (1), pp. 233-240. ISSN 1367-0751.Full text not available from this repository.
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 or Research Centre:||Birkbeck Schools and Research Centres > School of Business, Economics & Informatics > Computer Science and Informatics|
|Date Deposited:||20 Jun 2011 14:55|
|Last Modified:||17 Apr 2013 12:20|
Archive Staff Only (login required)