Relation between Hilbert algebras and BE-algebras (Q2871920)

The paper investigates the relations between two types of algebras of non-classical logics, namely the intensely studied Hilbert algebras and BE-algebras, the latter of which generalize dual BCK-algebras. The authors show that BE-algebras have as a proper subclass self-distributive BE-algebras, which in turn strictly include Hilbert algebras. Then they prove that the following types of algebras are equivalent, by showing that each of them coincides to implication algebras: commutative self-distributive BE-algebras, commutative implicative BE-algebras, commutative Hilbert algebras and implicative Hilbert algebras.