完备格上模糊粗近似算子的代数结构

模糊粗集是粗集的模糊化。现有模糊粗集大多建立在t-范数、模糊（t-）相似关系以及对偶原理基础之上。本文将模糊知识（模糊数据）的属性值集[0,1]拓广到一般完备格,基于一般二元模糊关系、模糊合取算子以及模糊合取和模糊蕴涵间的“伴随”关系研究一类模糊粗近似算子。本文对一般模糊粗集的代数结构做了详尽的探讨,并研究了新的模糊粗集与经典粗集和模糊粗集之间的联系。结论表明：粗集的这种模糊化方法保持了Pawlak粗集的代数性质;所提出的模糊粗集是现有典型模糊粗集的一般化;而且,模糊粗近似的贴近度得以提高。     

完备格中的完备子集与它们相关的映射

本文研究了完备格中的各种完备子集与完备格中的各种保序幂等自映射之间的关系，得到了一系列的新定理，弄清楚了它们之间的相互关系．     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

模糊蕴涵格理论

模糊蕴涵代数,在文献中简称为FI代数,最初由吴望名先生于1990年提出,至今已经有许多研究成果.文中综述有关FI代数的概念,性质等主要研究工作,同时给出这类代数的一些新的性质.重点强调构成格结构的FI代数,称之为模糊蕴涵格,简称为FI格.这类代数结构与模糊逻辑中几个重要的代数系统具有紧密的联系,文中将揭示这些联系,一些重要的模糊逻辑代数系统都是FI格类的子类.另外,所有正则FI格构成代数簇,即等式代数类.这个代数簇将在模糊逻辑与近似推理中发挥重要的作用.     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

基于完备信息表的IS-概念格构建

本文借鉴在形式背景上构造概念格的方法,利用对象子集的极大描述公式,直接构造完备信息表上的概念格,称为IS-概念格.首先在完备信息表中通过公式和对象子集构造出信息表上的概念,再通过这些概念之间的泛化和特化关系,得到完备信息表上的IS-概念格.为了避免属性冗余,给出了在完备信息表上保持1S-概念格格结构不变的属性约简方法.     

完备格中的成分理论

在完备格中引入了元素的成分概念．基于此,引入了元素的宽度的概念．在分配格的情形证明了元素的成分集对有限并运算封闭且有某种遗传性．证明了元素的有限宽度的成分之集是定向集．称没有非平凡成分的元素为颗粒．称每个非零元素都可表示为其颗粒成分之并的完备格为颗粒表示格．证明了拓扑空间是局部连通的充要条件是其开集格为颗粒表示格．     

基于格蕴涵代数的模糊幂集

模糊幂集理论依赖于相应的模糊算子的选取,本文通过格蕴涵代数中的蕴涵算子讨论了L—型模糊集的幂集,为高阶格值逻辑的研究作了必要的准备。     

Fuzzy Ideals and Fuzzy Distributive Lattices

Our main objective is to study properties of a fuzzy ideals(fuzzy dual ideals).A study of special types of fuzzy ideals(fuzzy dual ideals) is also furnished.Some properties of a fuzzy ideals(fuzzy dual ideals) are furnished.Properties of a fuzzy lattice homomorphism are discussed.Fuzzy ideal lattice of a fuzzy lattice is defined and discussed.Some results in fuzzy distributive lattice are proved.     

正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。     

Complete Surjections and Complete Epimorphisms over Completely Distributive Lattices

Generators and lattice properties of the poset of complete homomorphisic images of a completely distributive lattice are exploited via the localic methods. Some intrinsic and extrinsic conditions about this poset to be a completely distributive lattice are given. It is shown that the category of completely distributive lattices is co-well-powered,and complete epimorphisms on completely distributive lattice are not necessary to be surjections. Finally, some conditions about complete epimorphisms to be surjections are given.     

预线性与对合非结合剩余格

非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。     

Fuzzy格上的KKM定理

讨论定义和Ｆｕｚｚｙ格上的某类映射的性质,主要结果是定理２．１。近几攫来,国内外许多专家、学者热心研究的ＫＫＭ定理,广义ＫＫＭ定理等冼多结果,都是定理２．１的一些简单和推论。由此说明,Ｆｕｚｚｙ格理论具有广泛的应用性。     

完全分配格上的覆盖粗糙集模型

将集合论中的覆盖概念抽象到完全分配格L上,利用它定义格L上关于覆盖的上(下)近似算子,给出格L上覆盖粗糙集模型.文中先讨论格L上覆盖的相关性质,进而研究了覆盖上(下)近似算子的性质,得到若干结果.     

蕴涵格及其Fuzzy拓扑表现定理

以L－Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广．建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明．     

正规模糊格的素中理想

研究正规模糊格的素中理想与极大中理想的联系；并在一定的条件下证明了：正规模糊格的素中理想与模糊格同态之间存在一一对应关系。     

模糊T-粗糙集的代数性质

利用完备分配格L上t-模T,引进L上模糊T-粗糙集的概念,在此基础上定义模糊商集及其上、下近似的概念,研究它们的代数性质,得到若干结果。