No CrossRef data available.
Published online by Cambridge University Press: 14 November 2011
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).