模糊完备格上的模糊同余关系

在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.     

模糊Domain上的模糊序同态及其性质

通过引入模糊定向极小集和模糊Domain的基的概念,证明了模糊定向完备偏序集X是模糊Domain当且仅当X有基当且仅当x∈X,x有模糊定向极小集.基于模糊定向极小集和模糊Domain的基,研究了模糊Domain上的模糊序同态,证明了模糊Domain X的基到模糊Domain Y上的模糊序同态可以唯一扩张为模糊Domain X到模糊Domain Y上的模糊序同态.     

Quantic 格的模糊理想

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

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

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

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

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

Heyting代数的模糊滤子格

结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。     

模糊子坡代数、模糊理想、模糊滤子及模糊同余关系的刻画

定义了坡代数（X,＋,＊）的模糊滤子的概念,给出了X上的模糊集A是（X,＋,＊）的模糊子坡代数（resp.,模糊理想,模糊滤子）的若干个等价刻画以及X×X上的模糊集E是（X,＋,＊）上的模糊同余关系的若干个等价刻画,另外还证明了模糊子坡代数范畴[0,1]-SInc是坡代数范畴Inc上的拓扑范畴。     

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

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

直觉模糊拓扑的确定

对于任意集合X,我们证明了,在IFWCL(X)(X上的直觉模糊弱闭包算子的全体),IFWIN(X)(X上的直觉模糊弱内部算子的全体)和IFWOU(X)(X上的直觉模糊弱外部算子的全体)上分别定义适当的序关系,可以使IFWCL(X),IFWIN(X)以及IFWOU(X)成为和(IFT(X),(∈))同构的完备格,其中IFT(X)是X上的直觉模糊拓扑的全体.     

自反模糊滤子与自反模糊序理想

引入ＢＣＫ－代数Ｘ的自反模糊滤子及ＢＣＫ－代数伴随半群Ｍ（Ｘ）的自反模糊序理想的概念,由自反模糊滤子可诱导一个自反模糊序理想,反过来,由自反模糊序理想也可诱导一个自反模糊滤子,最后证明了ＢＣＫ－代数的所有自反模糊滤子的集合与ＢＣＫ－代数伴随半群Ｍ（Ｘ）的所有自反模糊序理想的集合之间存在一一对应。     

模糊Z-Quantale范畴的反射子范畴

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随.     

m-半格的模糊理想

通过模糊集理论的方法,给出了m-半格的(素)模糊理想的概念,讨论了(素)模糊理想和(素)理想之间的关系,研究了模糊理想之集的性质。给出了(素)模糊理想和(素)理想的等价刻画,证明了含最小元的正序m-半格的像集中含1的模糊理想之集是分配l-半群。提出的方法能较好地阐述出模糊集理论与m-半格的联系。     

关于格蕴涵代数的(∈,∈∨q_(λ,μ))-模糊LI-理想

首先,对格蕴涵代数的(∈,∈∨q(λ,μ))-模糊LI-理想概念作进一步深入研究,获得了(∈,∈∨q(λ,μ))-模糊LI-理想的一些新的性质和刻画。其次,在由给定的格蕴涵代数L上全体模糊集构成的集合上定义了一个偏序关系■,利用■给出了由L上的一个模糊集生成的(∈,∈∨q(λ,μ))-模糊LI-理想的定义并建立了其表示定理。最后,证明了L关于给定偶对(λ,μ)的全体(∈,∈∨q(λ,μ))-模糊LI-理想之集在偏序■下构成一个完备的分配格。     

环的模糊理想格

首先研究了模糊子环格中几类重要子格的结构,然后利用模糊强截集理论证明了具有相同ｔｉｐ的模糊（左、右）理想格是模格．     

模糊形式概念分析与模糊概念格

针对在许多应用领域中,大多数信息都是复杂的、不确定的,而传统的形式概念分析不能表达这些模糊的、不确定的信息问题,介绍了将Zadeh的模糊数学理论与形式概念分析理论相结合所形成的模糊形式概念分析理论.给出并证明了在模糊形式背景下对象集合及属性集合的一些结论.建立了在模糊形式背景下的模糊概念格并证明了该模糊概念格仍然是一个完备格.最后用实例说明了这种模糊概念格的构造方法.     

不完备模糊信息系统

以不完备模糊信息系统为研究对象，建立了其中的模糊相容关系及模糊粗糙上、下近似集。在此基础上，探讨了论域上的模糊覆盖问题并提出了覆盖的3种运算形式；定义了2种新的模糊粗糙熵以讨论不完备模糊信息系统中的不确定性因素，证明了不确定因素的变化与度量强度之间的重要关系；建立了一种度量部分模糊知识依赖的新方法，获得了一些新的定理结果证明。     

ΕQ-代数上的模糊前滤子

模糊化方法可以有效简化代数结构的复杂性。因而文中应用代数系统模糊化方法和模糊集水平截集方法,研究EQ-代数的模糊前滤子的性质及其生成方法。进而得到以下结果:引入了EQ-代数模糊前滤子和素模糊前滤子的概念。分别给出了EQ-代数模糊前滤子、素模糊前滤子与前滤子、素前滤子之间的关系。给出了EQ-代数上由一个模糊子集生成一个模糊前滤子的公式。最后,得到了一个EQ-代数上全体模糊前滤子的集合构成一个完备模格。     

模糊拟阵闭集的性质

本文首先给出了模糊拟阵闭集的等价定义,找到了模糊拟阵的闭集族和它的导出拟阵的闭集族之间的关系,同时在拟阵的闭集定理和模糊拟阵的闭包公理的基础上得到了模糊闭集定理,进一步由格的定义证明了模糊拟阵的闭集族和它的r水-平集是格.     

m-半格的粗糙模糊理想

应用粗糙集理论给出m-半格上由模糊(素)理想诱导的同余及关于这种同余上(下)粗糙模糊近似算子的性质.通过引入m-半格粗糙模糊(素)理想的概念,讨论了m-半格上粗糙模糊(素)理想与模糊(素)理想的关系及粗糙模糊(素)理想与(素)理想的关系.     

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

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