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.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1093/jigpal/jzq044
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Keyword(s) / Subject(s): | Residuated semigroups, relation algebras, finite axiomatizability, substructural logics, Lambek calculus |
School: | School of Business, Economics & Informatics > Computer Science and Information Systems |
Depositing User: | Administrator |
Date Deposited: | 20 Jun 2011 14:55 |
Last Modified: | 17 Apr 2013 12:20 |
URI: | https://eprints.bbk.ac.uk/id/eprint/3676 |
Statistics
Downloads
Activity Overview
0Downloads
161Hits
Additional statistics are available via IRStats2.