讨论剩余格中的粗滤子。在剩余格中引入同余关系,构造基于剩余格的粗糙集代数。特别地,讨论基于滤子的剩余格的粗糙集代数,定义粗滤子、粗素滤子等概念,并讨论它们的性质,为粗糙逻辑的进一步研究作理论基础。
In this paper, the rough filter of residuated lattice is studied. The rough set algebra in the residuated lattice especially based on filter is got through the congruence relation, notions of rough filter and rough prime filter are introduced, some related properties of them are investigated for the base of rough logic.