BR0-分配性及其推广

在BR₀- 代数结构中,_BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR₀-分配性的剩余格同样具备十分良好的性质。首先将BR₀-分配性引入到剩余格中,并给出了BR₀-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR₀-第一无限分配性和BR₀-第二无限分配性。最后,分别在正则完备剩余格,单位区间［0,1］中讨论了两种BR₀-无限分配性的关系及性质。     

关于BR0-代数弱完备性的证明

目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。     

关于BR0-代数的一些新性质

基于R0-代数（BR0-代数）对于模糊命题逻辑系统L＊（BL＊）的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件．这些结果将有助于对相应的形式逻辑系统与模糊推理的研究．     

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

L-关系方程T(a,x)=b,I(a,x)=b的解集

讨论方程T（a,x)=b,I(a,x)=b的解集，其中L为完备Brouwer格，T为无穷∨-分配伪t-模，I是无穷∧-分配蕴涵算子，且I=I（T）。     

双蕴含算子的性质

本文在全序完备格L 上引入双蕴含算子“(?)”的概念,讨论了“(?)”关于“∨”,“∧”的可分配性问题。主要结果有:1)(?)a,b,c∈L,则(a(?)c)∧(b(?)c)≤(a∧b)(?)c≤(a(?)c)∨(b(?)c),(a(?)c)∧(b(?)c)≤(a∨b)(?)c≤(a(?)c)∨(b(?)c).2)(?)a,b,c∈L,且c(?)1,则有(a∧b)(?)c=(a(?)c)∧(b(?)c)当且仅当下列条件之一成立:i)当a>b 时,b(?)c;ii)当ab 时,b(?)c;ii)当a相似文献   

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

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

Quantic格中的素元及相关问题研究

讨论了Quantic格与Quantale以及Quantic格与分配格的关系.证明了左侧Quantic格构成交换Quantale的充要条件是对任意的a、b、c∈Q,a→(b→c)=b→(a→c).给出Quantic格中素元与S-素元的概念,讨论了它们的一系列性质,得到Quantic格中素元的等价刻画,证明了S-素元在满足一定条件的映射f下的像是f(S)-素元.     

MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

格上BR0-代数结构的表示定理

利用模糊命题演绎系统BL＊中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R-代数结构的表达形式。     

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

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

正则剩余格的素模糊⊙理想及其拓扑性质

运用Zadeh提出的模糊集概念和运算特征对正则剩余格的模糊⊙理想理论作进一步研究。引入素模糊⊙理想的概念并研究其性质，建立了素模糊⊙理想定理。在全体素模糊⊙理想之集合P P⊙（ L）上构造了一个拓扑T，证明了拓扑空间（ P P⊙（ L），P ）是T0空间。     

BR0-代数定义的简化形式

作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系.     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

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

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

正则剩余格的fuzzy⊙理想

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