引入正则Fuzzy蕴涵代数的理想概念,并给出它的若干等价刻画;获得了由非空子集生成的理想的表示定理;证明了一个正则Fuzzy蕴涵代数上全体理想之集在集合包含序下构成一个分配连续格,从而构成一个Frame.
In this paper, the concept of ideal on regular Fuzzy implication algebras is introduced and some characterizations of ideals are given. A representation theorem about ideals which are generated by a non-empty subset of regular Fuzzy implication algebras is obtained. It is proved that the set of all ideals of regular Fuzzy implication algebra in set-inclusion order forms a distributive continuous lattice,and particularly forms a frame.