基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

在L~*-格值逻辑的语义框架下,以L~*-格值上的Lukasiewicz蕴涵算子为工具定义了L~*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L~*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想.

ON INTUITIONAL FUZZYIFYING IDEALS IN BCK-ALGEBRA BASED ON L~*-LATTICE VALUED LODIC

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.