关键词: BCK-代数；模糊蕴涵理想；(&isin, ,&isin, &or, q_k)-模糊理想；(&isin, ,&isin, &or, q_k)-模糊蕴涵理想；不分明化蕴涵理想；t-蕴涵的模糊蕴涵理想

Abstract: As a generalization of the notion of an (∈,∈∨q)-fuzzy implicative ideal of BCK-algebras, this paper intro-duces the concept of (∈,∈∨q_k)-fuzzy implicative ideals, and investigates related properties. Then, this paper points out that the fuzzy implicative ideals and (∈,∈∨q)-fuzzy implicative ideals are both (∈,∈∨q_k)-fuzzy implication ideals but?not?vice?versa. Furthermore, this paper gives the condition for the fuzzy subset of BCK-algebras to be [(∈,∈∨qk)]-fuzzy implicative ideals, proves that (∈,∈∨q_k)-fuzzy implicative ideals are all (∈,∈∨q_k)-fuzzy ideals, and gives an example to show that this converse proposition is not true. Finally, this paper gives some equivalent characterizations of an (∈,∈∨q_k)-fuzzy implicative ideal, and discusses the implication-based fuzzy implicative ideals of BCK-algebras.

Key words: BCK-algebra, fuzzy implicative ideal; (∈,∈∨q_k)-fuzzy ideal; (∈,∈∨q_k)-fuzzy implicative ideal, fuzzifying implicative ideal; t-implication-based fuzzy implicative ideal