ON INTUITIONAL FUZZYIFYING IDEALS IN BCK-ALGEBRA BASED ON L~*-LATTICE VALUED LODIC
基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

Under the semantic frame of $L^*$-lattice valued logic, we define the concept of intuitional fuzzifying BCK-algebra on $L^*$-lattice valued logic by using $\L$ukasiewicz implication operator as tool. In BCK-algebra, the concepts of ideals, positive implicative ideals and implicative ideals have ever been depicted by classical set theory, but now, they are redefined by a unary predicate calculus on $L^*$-lattice valued logic, and their properties and relations among them are discussed.