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.
Cuvinte cheie
BM-algebra
axiomatization of BM-algebras
sub-algebra of BM-algebra
ideal in BM-algebra
congruence
on BM-algebras.