Original Articles: 2014 Vol: 6 Issue: 1
Hilbert algebras in commutative BCK-algebras and ideal
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.