伪格蕴涵代数

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

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

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

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上，证明了偶序对〈R，～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格，而且可构成正则剩余格和MV-代数。     

格蕴涵代数不等式

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

关于粗糙代数的一点注记

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

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

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

格蕴涵代数中的零化子

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

低阶格蕴涵代数的构造

借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题．证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个．这些结果将有助于对相应的逻辑系统与模糊推理的研究．     

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

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

格蕴涵代数的构造

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

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

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

套代数上的Jordan同态

给出套代数上满Jordan同态为同态或反同态的一个充分条件,并证明有限维套代数之间的满Jordan同态必为同态或反同态.     

偏序集上的蕴涵

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

Results of Associated Implication Algebra on a Partial Ordered Set

Some sufficient and necessary conditions that implication algebra on a partial ordered set is associated implication algebra are obtained, and the relation between lattice H implication algebra and associated implication algebra is discussed. Also, the concept of filter is proposed with some basic properties being studied.     

n-李代数的同构与扩张

讨论n-李代数的同态与同构对研究n-李代数的结构和表示理论有着重要作用,定义了n-李代数的同态与同构,给出了关于n-李代数的同态与同构的几个结论.