利用一元模糊谓词逻辑和连续格值逻辑语义方法来发展格蕴涵代数的不分明化滤子。引入格蕴涵代数的不分明化滤子的概念,讨论其相关性质,研究了在格蕴涵同态映射下格蕴涵代数的不分明化滤子的象与原象之间的关系。
The aim of this paper is to extend fuzzifying filter of lattice implication algebras by introducing a unary fuzzy predicate and by adopting the semantic method of continuous lattice valued logic. The concept of fuzzifying filters in lattice implication algebras is defined,and their related properties are discussed. Howto deal with the lattice implication homomorphic images and inverse images of fuzzifying filters are studied.