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

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

关于剩余格的理想

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

剩余格的TL-滤子与TL-同余关系

将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。     

关于余剩余格的一点注记

进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.     

正则剩余格的fuzzy⊙理想

剩余格在模糊逻辑的研究中扮演着一个重要的角色。 首先在剩余格中引入fuzzy⊙理想的概念, 讨论了(正则)剩余格中fuzzy⊙理想性质, 给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次, 利用fuzzy⊙理想概念构造了一个同余关系, 证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。     

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

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

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

讨论了蕴涵格、弱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).     

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

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

关于CFI代数

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

WBR_0-代数的正则性及与其他逻辑代数的关系

通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有：（1）证明了正则剩余格与WBR0-代数是相同的代数结构;（2）通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;（3）通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。     

区间集上非交换剩余格的广义fuzzy滤子

将区间集思想与滤子理论相联系,建立了区间集上非交换剩余格的广义滤子与广义fuzzy滤子的概念,讨论了两者之间的相互等价表示定理,又进一步给出了它们间特征性质的刻画,以凸显代数逻辑结构系统的本质体系.     

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

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

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

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

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

基于完备余剩余格的反向三I算法

提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.     

连续格的同余

连续格的同余可以构造商格,利用商格的性质研究格是格论常用的方法之一.本文首先给出了连续格同余的刻画定理,并进一步利用同余讨论了连续格的同态定理.     

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

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

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

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

WBR0-代数的正则性及与其他逻辑代数的关系

 通过对正则剩余格和WBR₀-代数的深入研究, 进一步明确了WBR₀-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR₀-代数是相同的代数结构;(2)通过联络图表列举了WBR₀-代数与其他经典逻辑代数之间的联系,体现了WBR₀-代数在逻辑代数中的地位与作用;(3)通过构造WBR₀-代数的实例说明WBR₀-代数与其他逻辑代数之间的区别。     

区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的特征刻画

基于区间集思想与滤子理论,讨论区间集上非交换剩余格与区间集上非交换剩余格Fuzzy滤子,给出了区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的代数结构及若干等价性特征刻画的表示定理.