The equational theories of representable residuated semigroups

DOI10.1007/S11229-014-0513-3zbMath1357.06012OpenAlexW2093861459MaRDI QIDQ514561

Szabolcs Mikulás

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://eprints.bbk.ac.uk/id/eprint/13342/14/Mik-Synt-rev-biron.pdf

zbMATH Keywords

free algebrarelation algebrasfinite axiomatizabilityresiduation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Free algebras (08B20)

Related Items (2)

Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Relational models for the Lambek calculus with intersection and unit

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Lower semilattice-ordered residuated semigroups and substructural logics
• Residuated Kleene Algebras
• On representable ordered residuated semigroups
• The Mathematics of Sentence Structure

This page was built for publication: The equational theories of representable residuated semigroups