Balanced residuated partially ordered semigroups

Stefano Bonzio, José Gil-Férez, Peter Jipsen +2

A residuated semigroup is a structure $⟨A,\le ,\cdot ,\backslash ,/⟩$ where $⟨A,\le ⟩$ is a poset and $⟨A,\cdot ⟩$ is a semigroup such that the…