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:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Administrator
Date Deposited:	20 Jun 2011 14:55
Last Modified:	09 Aug 2023 12:30
URI:	https://eprints.bbk.ac.uk/id/eprint/3676

Statistics

Archive Staff Only (login required)