On representable ordered residuated semigroups

DOI10.1093/JIGPAL/JZQ044MaRDI QIDQ3081250zbMATH OpenOpenAlexFDO

Authors Szabolcs Mikulás

Publication date 7 March 2011

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

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

zbMATH Keywords

finite axiomatizabilityLambek calculusrelation algebrasresiduated semigroupssubstructural logics

Mathematics Subject Classification ID

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

Recommendations

• The equational theories of representable residuated semigroups
• On separative ordered semigroups
• Representable semilattice-ordered monoids
• On the representation of ordered semigroups by transformations of ordered sets
• Quasi-ordered semigroups and their representations
• scientific article; zbMATH DE number 1143641
• Representations of ordered semigroups.
• scientific article; zbMATH DE number 1209755
• On regularities of ordered semigroups
• scientific article; zbMATH DE number 3736063

Cited in

(9)

• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• Lower semilattice-ordered residuated semigroups and substructural logics
• Representable semilattice-ordered monoids
• scientific article; zbMATH DE number 4097672 (Why is no real title available?)
• Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
• scientific article; zbMATH DE number 1059893 (Why is no real title available?)
• The equational theories of representable residuated semigroups
• The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
• Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081250)