ON EMBEDDING HILBERT ALGEBRAS IN BCK-ALGEBRAS
Wiesław Dudek
We prove that the class of Hilbert algebras maybe embedded into the class of all BCK-algebras.