Autometrized Lattice Ordered Monoids

Tekalign Regasa Ashale,Girum Aklilu Abebe,Kolluru Venkateswarlu
2024-02-16
Abstract: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.
Logic
What problem does this paper attempt to address?