On representable ordered residuated semigroups

DOI10.1093/JIGPAL/JZQ044zbMath1235.03088OpenAlexW2060490115MaRDI QIDQ3081250

Szabolcs Mikulás

Publication date: 7 March 2011

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq044

zbMATH Keywords

Lambek calculusrelation algebrassubstructural logicsfinite axiomatizabilityresiduated semigroups

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

The equational theories of representable residuated semigroups ⋮ Lower semilattice-ordered residuated semigroups and substructural logics

This page was built for publication: On representable ordered residuated semigroups