一种构造格蕴涵代数的方法

格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．     

关于粗糙代数的一点注记

研究了近似空间(U,R)与格蕴涵代数之间的关系,在粗糙集SCR(U)上定义一个二元运算"*1",证明了(SCR(U),*1,Φ,1)是一个格蕴涵代数,并对粗格蕴涵代数几个重要性质做了初步的探讨.     

正则HFI代数与格H蕴涵代数的关系

证明了正则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的．     

格蕴涵代数的构造

进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究.     

格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.     

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.     

格蕴涵代数中的直觉模糊关联滤子

在格蕴涵代数关联滤子研究成果的基础上,将直觉模糊集理论与格蕴涵代数的关联滤子的结构及性质相结合,给出了格蕴涵代数中的直觉模糊关联滤子的定义,讨论了格蕴涵代数中直觉模糊滤子和直觉模糊关联滤子之间的关系,证明了在格蕴涵代数中直觉模糊关联滤子是直觉模糊滤子.同时,文中还研究了直觉模糊关联滤子的一些代数性质.     

格蕴涵代数的Ω-犹豫模糊LI-理想

在集合 Ω中,用犹豫模糊集、Ω-模糊集来研究格蕴涵代数,定义了格蕴涵代数中的 Ω-犹豫模糊LI-理想,讨论其性质及若干等价刻画;研究了 Ω-犹豫模糊LI-理想与其LI-理想之间的关系;讨论了格蕴涵代数的 Ω-犹豫模糊LI-理想的同态像与同态原像的性质.     

格蕴涵代数LI-理想的粗糙性

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质.     

格蕴涵代数的素滤子

格蕴涵代数中素滤子的概念被引入。建立了素滤子的基本性质和素滤子定理。作为推论,给出了格蕴涵代数的某些结构性定理。     

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

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

格蕴涵代数中的零化子

在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系.     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.     

可交换弱R0代数

简化了弱R0代数及R0代数的定义。在弱R0代数的基础上，提出可交换弱R0代数，并讨论了它的一些新的性质。探究了可交换弱岛代数与格蕴涵代数之间的关系，以及与MV代数之间的关系。     

赋范Fuzzy蕴涵代数

运用泛函分析的方法和技巧考虑非经典数理逻辑问题,首先引入赋范Fuzzy蕴涵代数及蕴涵距离的概念,并给出它们的若十性质;其次对赋范Fuzzy蕴涵代数中的序列和蕴涵开(闭)球进行研究.证明了:①每一半径不小于球心范数的蕴涵开(闭)球都是MP滤子;②每个收敛序列都有唯一的极限;③每个收敛序列都是Cauchy列;④如果一个Cauchy列{xn}的某个子列收敛于点x,则该Cauchy列本身也收敛于点x.     

6元非链的R0-代数的构造

证明了非链的有限R0-代数至少含有两个不同的对偶原子;在同构的意义下,非链的6元R0-代数有且仅有一个,并具体给出了它的构造,即一个2值的和一个3值的Lukas iew icz蕴涵代数的直积.