A note on the coordinatisation of implicative (semi-)lattices by Baer semigroups
Carlos Johnson · Proceedings of the Royal Society of Edinburgh Section A Mathematics · 1978
Synopsis We show that a bounded (semi-)lattice is implicative if and only if it can be coordinatised by a (right) Baer semigroup ℛS in which each element of (S) has an idempotent generator f such that fe = efe for all idempotents e with eS ∈ ℛ(S).