Hilbert algebras in commutative BCK-algebras and ideal

The notion of BCK-algebras was formulated first in 1966 by K. Iseki 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.