Sub-algebras of hilbert algebras in BCK-algebras

摘要

The notion ofBCK-algebraswas formulated first in 1966 byK. Iséki Japanese Mathematician. In this paper we will discuss Sub-algebras of Hilbert Algebras in BCK-algebras and its proposition.