DR_0代数：由De Morgan代数导出的正则剩余格

首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R_0蕴涵拓广到De Morgan代数上,称为广义R_0蕴涵;证明了添加广义R_0蕴涵和相应(?)算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数,并由此引入DR_0代数的概念.接着,研究了DR_0代数与R_0代数的关系,证明了以下结论:Boole代数是DR_0代数;全序DR_0代数和全序R_0代数等价;DR_0代数是R_0代数当且仅当它满足预线性条件;无中点的DR_0代数是BL代数当且仅当它是Boole代数.最后,举例说明了非DR_0代数的R_0代数、以及非R_0代数的DR_0代数都是存在的.

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

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

正则剩余格的生成⊙理想与素⊙理想

在剩余格中引入生成⊙理想和素⊙理想的概念,讨论了(正则)剩余格中生成⊙理想和素⊙理想的若干性质,并在正则剩余格中利用一个特殊的集合x-1I,给出了⊙理想成为素⊙理想的一个充要条件;然后利用这些结果证明了正则剩余格中的素⊙理想定理.

正则剩余格上滤子的若干性质

在正则剩余格上给出了正蕴涵滤子的几个等价条件,引入了布尔滤子,固执滤子的概念.讨论了它们的性质及其联系,证明了在正则剩余格上布尔滤子和正蕴涵滤子是等价的.固执滤子等价于极大正蕴涵滤子与超滤,每一个固执滤子也是素滤子.

蕴涵格、弱R_o代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1)弱Ro代数既是蕴涵格又是正则剩余格;(2)蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3)正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z)。

关于正则余剩余格与对合BCK-格

进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。

关于正则剩余格与R_0^-代数的几点注记

正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.

正则剩余格的⊙理想拓扑空间

运用拓扑学的方法和原理研究正则剩余格的⊙理想概念.首先,在正则剩余格L上以全体⊙理想之集为基建立了一个拓扑空间(L,TL).给出了拓扑空间(L,TL)中集合A的导集、闭包和内部的计算公式.其次,考察了(L,TL)的若干拓扑性质.最后,研究了乘积正则剩余格的积拓扑.

完全正则子半群格是半模格的完全正则半群

得到了完全正则半群S的子系统格是半模格的充分必要条件,即S的子系统格是半模格当且仅当S是一些UM-群或者极大子群为UM-群的左群或右群的序和.

关于剩余格的正则滤子

基于一般的剩余格,引进了正则滤子的概念,给出了正则滤子的一些特征刻画,并且建立了正则滤子与其它一些特殊滤子(G-滤子、MV-滤子、Boolean滤子)之间的内在联系.证明了一个剩余格为正则剩余格当且仅当它的每个MP滤子是正则滤子.

正则剩余格中的理想与滤子

讨论了正则剩余格的性质,并定义了正则剩余格的理想、滤子、同态与同余关系,通过讨论它们的性质,得出正则剩余格的理想与滤子是一一对应的。

正则剩余格的理想与同态

定义了正则剩余格的理想、同态、同构和同余关系,并讨论了它们的性质。

上半格amenable偏序完全正则半群

对上半格amenable偏序完全正则半群进行了研究.证明了若(S,∨.≤)是上半格amenable偏序完全正则半群,则(S,.)是Clifford半群.讨论了上半格amenable偏序E-unitary Clifford半群,得到了一些有趣的结果.

关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．

MV-代数、R_0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格

基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质.说明了剩余格在逻辑代数系统中的重要地位;分析了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数以及基础R0代数之间的相互关系,为进一步的研究奠定了必要的基础.

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

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

Heyting代数与剩余格

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

一致分子格及其性质

对分子格Ｌ上的自映射ｆ：Ｌ→Ｌ，提出了一种新的映射道ｆ－１：Ｌ→Ｌ，其中，对任意Ｌ中的元ａ，ｆ－１（ａ）＝∨｛ｂ∈Ｍ（Ｌ）｜ａ∧ｆ（ｂ）≠０｝．借助于此，引入了分子格上的一种对称的一致结构，证明了一个拓扑分子格（Ｌ，η）可一致化当且仅当它是全正则分子格．

可换双剩余格上的广义模糊粗糙集及其公理化

双剩余格是t-模、t-余模、模糊剩余蕴涵及其对偶算子的代数抽象,基于格的L-模糊关系是普通模糊关系的推广。作为Pawlak经典粗糙集及多种模糊粗糙集模型的共同推广,提出了一种基于可换双剩余格及L-模糊关系的广义模糊粗糙集模型,引入了正则可换双剩余格的概念,并给出了基于正则可换双剩余格的广义模糊粗糙上、下近似算子的公理系统,推广了多个文献中已有的结果。

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．