可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数.     

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

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y)]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+[x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

单李代数上保强交换性的非线性可逆映射和非线性强积零导子

设L是特征为零的代数封闭域F上的有限维单李代数.如果f:L→L为可逆映射,且满足[f(x),f(y )]=[x,y],对任意的x,y∈L,则称f是L上保强交换性的非线性可逆映射.证明L上保强交换性的可逆映射只能是恒等映射或负恒等映射.若映射δ:L→L满足[δ(x),y]+ [x,δ(y)]=0,对任意的x,y∈L,则称δ为L上的非线性强积零导子.证明了单李代数L上非线性强积零导子只能是零映射.     

一般线性李代数和有限维单李代数的抛物子代数上非线性强交换映射

设F为域且char F≠2,L为域F上李代数.L上的一个映射φ:L→L称为非线性强交换映射,如果对任意的x,y∈L,有[φ(x),y]=[x,φ(y)].当P为一般线性李代数gl(n,F)(n≥2)的抛物子代数时,证明了P上映射φ为非线性强交换映射当且仅当φ是P上数乘映射与中心映射之和;又当P是有限维单李代数L的抛物子代数时,证明了P上映射φ是非线性强交换映射当且仅当φ是P上数乘映射.     

可换BR_0代数的刻画和性质

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

弱MTL代数的演绎系统与同余关系的对应定理

通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。     

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

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

BR_0代数与FI代数的关系

研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系.     

关于不定方程x2＋4n=y7

利用代数数论的方法,证明了不定方程x2＋4n=y7,x≡0（mod 2）,x,y,n∈Z仅有整数解（x,y,n）=（0,4m,7m）,（±8·27m,2·4m,7m＋3）,（m∈N）.     

BR_0-分配性及其推广

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

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

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

关于形式系统L*及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.     

一类自反算子代数上的自伴线性映射

研究了完全分配交换格代数和ＶｏｎＮｅｕｍａｎｎ代数中套子代数上的自伴线性映射．得到一类完全分配交换格代数上的自件线性映射均为Ｔ→ＡＴ—ＴＢ形式，其中Ａ和Ｂ为自伴算子．证明了有限因子ＶｏｎＮｅｕｍａｎｎ代数中套子代数上的自伴线性映射也可表示为Ｔ→ＡＴ—ＴＢ，其中Ａ和Ｂ是套子代数的对角代数中的算子．     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

BCH-代数的首行商代数和不变子代数

给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合.     

伪BR0代数及其性质

文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的.     

一类代数上的弱可加交换映射

设A是一个有单位元1的代数.称映射f:A→A是一个弱可加映射,如果满足对任意的x,y∈A,存在t_(x,y)S_(x,y)∈F使得f(x+y)=t_(x,y)f(x)+s_(x,y)f(y)成立.本文证明了在一定的假设下,如果f是交换映射,则存在λ_0(x)∈A和一个从A到Z(A)的映射λ_1,使得对所有的x∈A有f(x)=λ_0(x)x+λ_1(x).作为应用,刻画了M_n(F)上一类交换的弱可加映射.     

一类函数方程的有界解(Ⅱ)

研究了函数方程f（x—y）＋f（x＋y）=2f（x）f（y）有界连续解，其中f（x）为R^n→R的有界连续函数；证明了f（x）必为如下形式的三角函数f（x1，x2，…，xn）=COS（k1x1＋k2x2＋…＋knxn），其中k1，k2，L，kn常数。该结论证明了满足上述方程的函数一定为三角余弦函数，也即给出了三角余弦函数的一种方程形式的刻画。     

伪补Ockham代数核理想同余关系的注记

理想是反映Ockham代数类结构的一个重要工具,利用伪补Ockham代数的核理想判别定理以及核理想同余关系表达式,研究了伪补Ockham代数的核理想的性质,证明了伪补Ockham代数核理想及其同余关系是同构的。主要结果为:(1)设L是伪补Ockham代数,符号I(L),I_k(L)分别表示L的理想和核理想构成的集合,则I_k(L)是I(L)的一个子格。(2)对于任意的I,J∈Ik(L),则R_I,R_J具有同余置换性,其中同余关系R_I定义为:(x,y)∈R_I(■a∈I)x∧a*=y∧a*。(3)设L是伪补Ockham代数,则I_k(L)■C_k(L),其中符号Ck(L)={RI(■a∈I)x∧a*=y∧a*,I∈Ik(L)}。所得结论为进一步研究Ockham代数类的代数结构提供理论支持,丰富了Ockham代数的发展。