模糊DCPO范畴的一个笛卡尔闭的满子范畴

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。     

模糊C-连续格

在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。     

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

R0-代数(NM-代数)的模糊MP-滤子格

在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。     

模糊子坡代数、模糊等价关系及模糊同余关系的序方面

证明了坡代数(X,+,*)上所有模糊子坡代数构成的集合(SI[0.1](X,+,*),≤),所有模糊理想构成的集合(Id[0.1](X,+,*),≤),所有模糊滤子构成的集合(Fil[0.1](X,+,*),≤)都是([0,1]x,≤)的子完备格,所有模糊等价关系构成的集合(Equ[0.1](X,+,*),≤),所有模...     

模糊软格

将模糊软集的概念与格相结合,引入了模糊软格和模糊软格的模糊软子格的概念,给出了它们的若干代数性质.定义了格的模糊软同态概念,证明了模糊软格在格的一个模糊软同态下的像与原像仍为模糊软格的结论.     

强正则剩余格值逻辑系统（L）N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

模糊结构元诱导的两类加权模糊数度量

针对模糊数度量中不同隶属程度对度量的贡献程度应不同的客观事实,给出两类模糊数的结构元加权度量。首先,在区间[-1,1]上的同序标准单调有界函数类B[-1,1]上定义两类结构元加权度量dH、dp,分别讨论了这两类度量空间的完备性和可分性;其次,利用正则模糊结构元导出的模糊泛函,给出一种由B[-1,1]上度量诱导有界闭模糊数全体上的度量方法,进而给出由dH、dp诱导的两类模糊数结构元加权度量dNH、dNp,并分析了两类诱导的模糊数度量空间的完备性和可分性;最后,给出了dNH、dNp与传统方法定义的模糊数度量的区别与联系。     

格蕴涵代数的直觉模糊LI-理想

本文深入研究了格蕴涵代数的直觉模糊\textit{LI}-理想理论.给出了直觉模糊\textit{LI}-理想的若干新的性质和等价刻画. 建立了由一个直觉模糊集生成的直觉模糊\textit{LI}-理想的表示定理.证明了一个格蕴涵代数的全体之集模糊\textit{LI}-理想之集在直觉模糊包含序下构成一个完备的分配格.