否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

否定非对合剩余格的模糊素理想与素模糊理想

对否定非对合剩余格的模糊理想作进一步深入研究.引入否定非对合剩余格模糊素理想和素模糊理想的概念并研究它们的性质和相互关系,获得了模糊素理想和素模糊理想的若干等价刻画,建立了模糊素理想定理和素模糊理想定理.最后,在否定非对合剩余格的全体素模糊理想之集上构造了一个拓扑,证明了相应的拓扑空间是T_0空间.所做工作对利用理想概念揭示否定非对合剩余格的代数特征具有一定的促进作用.     

非对合剩余格的犹豫模糊理想

运用犹豫模糊集的方法和原理研究非对合剩余格的理想问题.引入了非对合剩余格的犹豫模糊理想概念,给出了犹豫模糊理想的若干性质,获得了犹豫模糊理想的若干等价刻画,讨论了犹豫模糊理想与理想间的关系.证明了非对合剩余格的犹豫模糊理想的犹豫模糊交集、同态像和同态原像仍为犹豫模糊理想.同时,给出了犹豫模糊理想的犹豫模糊并集成为犹豫模...     

正则剩余格的素模糊⊙理想及其拓扑性质

运用Zadeh提出的模糊集概念和运算特征对正则剩余格的模糊⊙理想理论作进一步研究。引入素模糊⊙理想的概念并研究其性质,建立了素模糊⊙理想定理。在全体素模糊⊙理想之集合P P⊙（ L）上构造了一个拓扑T,证明了拓扑空间（ P P⊙（ L）,P ）是T0空间。     

剩余格蕴涵代数中准素理想的研究

在剩余格蕴涵代数中,提出了素理想和准素思想的概念,证明了包含核的理想的格蕴涵同态像仍是理想,并研究了准素理想与素理想的性质.讨论了准素思想与素理想、准素理想与其格蕴涵同态像之间的关系.     

正则剩余格的模糊超⊙-理想

引入正则剩余格的模糊超⊙-理想概念并考察其性质,获得了模糊超⊙-理想的几个等价刻画。在正则剩余格L的全体模糊超⊙-理想集F U(L)上定义了格运算∨,∧和逆序对合对应■,证明了当L满足条件(P)时,(F U(L),∨,∧,■,0L,1L)构成一个De Morgan代数。在F U(L)上定义了一个伴随对(■,→),证明了当L满足条件(P)时,(F U(L),■,■,→,0L,1L)也构成一个剩余格。     

否定非对合剩余格的双极值模糊理想

基于双极值模糊集理论研究否定非对合剩余格的理想问题。首先,引入否定非对合剩余格的双极值模糊理想概念并讨论其基本性质和等价刻画。其次,借助于双极值模糊集的正t-截集和负s-截集等概念考察了双极值模糊理想与理想的关系。最后,在一个否定非对合剩余格的全体双极值模糊理想之集上构造等价关系,并获得了相应的商集性质。     

正则剩余格的⊙理想拓扑空间

运用拓扑学的方法和原理研究正则剩余格的⊙理想概念.首先,在正则剩余格L上以全体⊙理想之集为基建立了一个拓扑空间(L,TL).给出了拓扑空间(L,TL)中集合A的导集、闭包和内部的计算公式.其次,考察了(L,TL)的若干拓扑性质.最后,研究了乘积正则剩余格的积拓扑.     

Quantic 格的模糊理想

引入Quantic格上的模糊子Quantic格、模糊理想和素模糊理想的概念,研究了模糊理想和素模糊理想的若干性质。讨论了Quantic格模糊理想与模糊子Quantic格之间的关系,给出了模糊理想和素模糊理想的刻画,证明了Quantic格的任意一个理想都可看成是此Quantic格的某一模糊理想的一个截集。     

正则剩余格的fuzzy⊙-理想格

在正则剩余格的全体fuzzy⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy⊙-理想之集构成一个分配的剩余格。     

序半群的完全素和素模糊理想

通过由序模糊点生成的模糊理想给出了半单序半群的刻画。同时也刻画了两类序半群:一类是所有模糊理想是素理想;另一类是所有模糊理想是完全素理想。     

关于剩余格的理想

研究了剩余格的理想,给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系,证明了一个剩余格在该同余关系下的商代数还是剩余格,获得正则剩余格上理想的若干等价刻画定理。     

剩余格中的Fuzzy(P)滤子

在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论.     

关于可除剩余格的构造

对给定的可除剩余格L及a∈L,作者通过一个自然的构造使得主下集↓a={x∈L|x≤a}成为一个可除剩余格La.进一步有,如果L是预线性的或者广义MV-代数,则La亦是.     

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

BL-代数的扰动模糊理想

利用扰动模糊集概念,研究BL-代数的扰动模糊理想的性质。引入了扰动模糊理想的概念并研究它的一些性质。通过扰动模糊理想构造了商BL-代数,并给出了扰动模糊同态基本定理。此外,给出了由扰动模糊集生成扰动模糊理想的方法。定义了扰动模糊理想的一些类型,研究它们间的一些关系。给出了扰动模糊Boolean理想、扰动模糊素理想、扰动模糊既约理想、扰动模糊超理想及扰动模糊Godel理想的一些刻画。     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

BL-代数中的落影模糊理想

在落影理论的基础上,本文建立了定义 BL-代数的模糊（关联）理想的理论方法。研究了落影模糊（关联）理想和模糊（关联）理想的关系,证明了模糊（关联）理想是落影模糊（关联）理想,反之不成立。最后,获得了落影模糊（关联）理想的一些等价刻画。