Pages that link to "Item:Q3081250"
From MaRDI portal
The following pages link to On representable ordered residuated semigroups (Q3081250):
Displaying 8 items.
- The equational theories of representable residuated semigroups (Q514561) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- Representable semilattice-ordered monoids (Q2474106) (← links)
- (Q3824605) (← links)
- Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus (Q4291872) (← links)
- (Q4353914) (← links)
- The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable (Q5693111) (← links)
- Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups (Q5872879) (← links)