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

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

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

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

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.     

蕴涵BCK-代数与剩余半群

给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵ＢＣＫ－代数，并且Ｍ（Ｘ）与Ｍ（Ｍ（Ｘ））是同构的     

正则Fuzzy蕴涵代数的理想格

引入正则Fuzzy蕴涵代数的理想概念,并给出它的若干等价刻画; 获得了由非空子集生成的理想的表示定理; 证明了一个正则Fuzzy蕴涵代数上全体理想之集在集合包含序下构成一个分配连续格,从而构成一个Frame.     

格蕴涵代数不等式

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

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

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

正则余剩余格的特征及其应用

余剩余格理论是研究逻辑代数系统的重要工具,而余剩余格的代数结构本身就具有普遍性和代表性.文中对余剩余格的定义和性质进行研究,给出了余剩余格的特征定理,并且引入正则余剩余格的概念,进而讨论了正则余剩余格的特征定理,同时证明了正则余剩余格与正则剩余格的一致性.最后,基于正则余剩余格的特征定理给出了几类逻辑代数系统的等价刻画.     

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

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

关于弱同伦正则态射

本文在点标道路连通CW空间的同伦范畴中,引进了弱同伦正则态射的概念,研究了它存在的条件、性质以及它与弱同伦单(满)态和弱同伦等价之间的关系.     

关于剩余格的理想

研究了剩余格的理想,给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系,证明了一个剩余格在该同余关系下的商代数还是剩余格,获得正则剩余格上理想的若干等价刻画定理。     

正则蕴涵算子分析性质的研究

针对正则蕴涵算子，从分析学的角度研究了其连续性,得到了正则蕴涵算子是连续函数的充要条件是当x≥y时，满足（x→y）→y=x；仅在（0，0）间断函数的充要条件是当x≥y，y≠0时，（x→y）→y=x，而对任意x∈（0，1），（x→0）→0≠x，同时研究了与这些蕴涵算子相伴随的三角模。     

基于蕴涵算子上的模糊强正则子半群

文中给出R-模糊强正则子半群的定义,讨论了其与模糊强正则子半群的关系,证明在一定条件下有限个R-模糊强正则子半群的交(并)还是R-模糊强正则子半群,R-模糊强正则子半群的同态像(原像)仍是R-模糊强正则子半群。     

弱拓扑分子格的连通性及局部连通性

定义弱拓扑分子格的连通元并讨论其基本性质(包括连通的可乘性),研究了弱拓扑分子格的局部连通性。     

L-Fuzzy正则子半群的刻画

借助于L-Fuzzy集的截集给出了L-Fuzzy正则子半群和L-Fuzzy弱正则子半群的等价刻画.     

基于正则蕴涵算子的三I算法

给出了基于常见正则蕴涵算子的三I算法的计算公式,并考虑算法的还原性.     

属性蕴含Q矩阵理论的认知诊断模型

引入属性蕴含的Q矩阵理论扩展了传统Q矩阵理论.属性的先决关系是属性蕴含的特殊形式,寻找属性蕴含Q矩阵理论中合适的认知诊断模型具有重要的理论与应用意义.就满足属性蕴含的Q矩阵,视其为形式概念分析中的形式背景,形势背景诱导的概念格亦为认知诊断模型.研究成果可进一步丰富Q矩阵理论与方法.     

关于单广义序同态与子分子格

本文依据分子格的直积分解讨论了单广义序同态的结构性质,在此基础上定义了子分子格并给出了分子格范畴中子对象的构造;证明了一般集论和 Fuzzy 集论中子幂集格正是子分子格的特例。     

超空间中的P-点与弱P-点

研究了超空间中的Ｐ－点和弱Ｐ－点．在Ｈａｕｓｄｏｒｆ拓扑空间中,如果点ｘ是包含它的任一Ｇδ集的内点,则ｘ称为Ｐ－点;如果点ｘ不是任意可数集的聚点,则ｘ称为弱Ｐ－点．证明了正则空间中Ｐ－点与弱Ｐ－点等价当且仅当其超空间中Ｐ－点与弱Ｐ－点等价