Autometrized Lattice Ordered Monoids
In this paper, we introduce the notion of Autometrized lattice ordered monoids (for short,AL-monoids) as a generalization to DRl-semi groups. We obtain the basic properties of AL-monoids. Also, we prove that Autometrized lattice ordered monoids are equationally definable. Furthermore, we show that AL-monoids are an optimal common abstraction of Boolean algebras and l-groups.