在连续值逻辑的语义框架下,我们用连续值逻辑上的一元谓词演算方法引入了不分明BCK-蕴涵理想的概念,研究了几种不分明理想的若干性质及其之间一些关系。
Under the semantic frame of continuous-valued logic, we define the concept of fuzzifying implicative ideals of BCK-algebra by a unary predicate calculus on continuous-valued logic. Some properties of several kinds of fuzzifying ideals are discussed and some relations among them are investigated.