Original Articles
Qiuna Zhang, Yan Yan, Huanchen
Abstract
The notion of BCK-algebras was formulated first in 1966 by K. Iséki Japanese Mathematician. A BCK-algebra is an important class of logical algebras and was extensively investigated by several researchers. Here we well give the definition of Hilbert Algebras in commutative BCK-algebras and ideal.