FI代数上基于模糊滤子的一致拓扑空间

拓扑结构是逻辑代数领域的重要研究内容之一,为了揭示FI代数上的拓扑结构,基于模糊滤子诱导的同余关系在FI代数上构造一致拓扑空间并讨论其拓扑性质,证明了：（i）一致拓扑空间是非连通、局部紧的完全正则空间;（ii）一致拓扑空间是T₀空间当且仅当是T₁当且仅当是T₂空间;（iii）FI代数中蕴涵算子关于一致拓扑是连续的,从而构成拓扑FI代数.同时,获得了一致拓扑空间是紧空间的充分必要条件.最后,讨论了商空间的性质.该研究对从拓扑层面进一步揭示FI代数内部特征具有一定的促进作用.     

泛蕴涵代数与FI-代数

建立了一个新的蕴涵算子Rzh，证明了利用Rzh-蕴涵区间上的模糊赋值，可将任一泛蕴涵代数“等值”地转化为一个HI-代数．     

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

Fuzzy MP-filters Lattice on a Given FI-algebra

In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame.     

基于FI-代数的一个逻辑系统

建立一种基于FI-代数的模糊命题演算的形式演绎系统．并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中．以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。