TWO NEW AXIOMATIZATIONS OF BM-ALGEBRAS
DANIEL A. ROMANO
International Mathematical Virtual Institute Kordunaška Street 6, 78000 Banja Luka, Bosnia and Herzegovina ORCID: 0000-0003-1148-3258 e-mail: daniel.a.romano@hotmail.com
Abstract
In this paper two new axiomatizations of the concept of BM-algebra from Algebraic logic are introduced. It is shown how the properties of the BM-algebra can be deduced from the newly designed axiomatizations. The correspondence between ideals and subalgebras is described in this class of algebras.