否定非对合剩余格上BF-理想的BF-平移与BF-扩张理想

进一步研究否定非对合剩余格的双极值模糊理想(简称BF-理想)问题,引入BF-理想的BF-平移、BF-扩张理想和BF-乘积等概念并考察它们的性质特征和相互关系,为进一步揭示否定非对合剩余格的结构特征拓展研究思路.

非交换剩余格上的区间值模糊滤子

在区间值模糊集理论的基础上,定义了非交换剩余格上的区间值模糊滤子,给出了区间值模糊滤子的刻画,研究了生成区间值模糊滤子的结构;证明了非交换剩余格上的区间值模糊滤子全体、区间值模糊正规滤子全体构成完备有界分配格;基于区间值模糊强同余关系,证明了非交换剩余格上的区间值模糊正规滤子集和区间值模糊强同余关系集同构.

非交换剩余格上的广义余区间值模糊滤子

以区间值模糊集理论为基础定义了非交换剩余格上的余区间值模糊滤子、余区间值模糊滤子、余区间值模糊滤子,研究了它们的性质和等价条件,得到了它们之间的关系。

非对合剩余格的BF-弱理想和BF-强理想

对非对合剩余格的双极值模糊理想(简称BF-理想)问题进行了研究。引入了非对合剩余格的BF-弱理想和BF-强理想的概念,给出了二者的若干性质和等价刻画。讨论了BF-弱理想、BF-理想和BF-强理想的关系。利用BF-弱理想和BF-强理想的性质给出了强剩余格的特征定理。指明了在强剩余格中,BF-弱理想、BF-理想和BF-强理想三者相互等价。

非交换剩余格上的直觉模糊滤子

基于直觉模糊集给出了非交换剩余格上直觉模糊滤子的两种定义,证明了它们的等价性。研究了直觉模糊滤子的基本性质和几种等价刻画,给出了直觉模糊滤子与模糊滤子之间的关系。证明了非交换剩余格上的全体直觉模糊滤子能构成有界完备分配格。

剩余格与FI代数的可嵌入性

给出剩余格可嵌入于全序剩余格的乘积的充要条件,还给出定义在格上的FI代数可嵌入于全序FI代数的乘积的充要条件。

完备剩余格上的蕴涵闭包算子

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。

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

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

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

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

Heyting代数与剩余格

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

关于剩余格的正则滤子

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

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步。

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

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

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

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

余剩余格的理想和嵌入定理

基于余剩余格理论,给出了余剩余格的理想、主理想、素理想、极大理想和同态的概念,讨论了它们的性质,并引入距离函数,给出了余剩余格中的同余关系.研究得到余剩余格的嵌入定理,即满足预线性条件的余剩余格均可同构于一簇全序余剩余格乘积代数的子代数.

关于PFI-代数与剩余格

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

剩余格蕴涵代数中n-重素滤子的研究

在剩余格蕴涵代数中,提出了n-重素滤子的概念,并研究了它的性质.讨论了n-重素滤子与关联滤子、n-重素滤子与素滤子、n-重素滤子与准素滤子和对不同的自然数n,n-重素滤子之间的关系.最后,得到了在格H蕴涵代数中,n-重素滤子与素滤子等价和n-重素滤子与准素滤子等价的结论.

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代数都是存在的.

预线性剩余格与逻辑代数

本文首先讨论了剩余格与FI代数之间、FI代数与MV代数之间的关系,对已有结果进行了改进。随后提出了预线性剩余格的概念,证明了预线性剩余格是BR_0代数与BL代数的基础,从而也就是著名的MV代数、R_0代数、G代数与Ⅱ代数的公共基础。

区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的构造

以区间集和滤子理论作为研究区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的工具,通过引入区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的概念,讨论了生成〈∈,∈■Q〉-fuzzy滤子的几种方法,彰显模糊逻辑推演系统被视为代数滤子的镜像.