将粗糙集理论应用于格蕴涵代数,证明了由格蕴涵代数的滤子能诱导一个粗糙集代数,而且由格蕴涵代数的滤子诱导的等价关系形成的熵集能构成一个格蕴涵代数.通过引入上、下粗糙滤子的概念,讨论了格蕴涵代数中粗糙滤子的性质.
In this paper, we apply rough set theory to the lattice implication algebra, we prove the rough set algebra can be induced by fiker of a lattice implication algebra, and a lattice implication algebra can be got from the quotient set. Some properties of rough filters are discussed by introducing the notion of upper/lower rough filters.