L_0^*-Lindenbaum代数的结构与性质

讨论了L 系统的等价简化形式系统L 0 系统中Lindenbaum代数的结构与性质 .证明了 :(1)L 0 Linden baum代数是一个有界分配格 ;(2 )在L 0 系统中 ,(F(S) /≈ , )是一个含零元和单位元的Abel半群 ,这里对A ,B∈F(S) ,[A] [B]= ([A]→ [B]) .进一步 ,若设T是L 0 中的定理 ,A∈F(S) ,则 [A] [T]=[A],[A] [ T]=[ T].

R_0代数的一种等价形式

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.

BL~＊系统的一种扩张及相关性质

对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。

相应于有限非退化李代数的顶点算子代数表示

设g是有限维非退化李代数,g的极大环面子代数H在有限维g-模上的作用是可对角化的表示理论.在此基础上,本文论证了相应于g的顶点算子代数V■(l,0)表示的以下结果:顶点代数V■(l,0)—模与g的仿射李代数■的水平为l的限制模是一致的;对于顶点算子代数的V■(l,0)不可分解模M,存在子模的合成列;给出了顶点算子代数V■(l,0)的不可约模的结构及分类.

R_0代数的∨-半格蕴涵表示形式及其简化

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。

模糊D0L幂级数

将Lindenmayer代数系统推广到模糊半环上,引入模糊L代数系统及模糊L代数幂级数的概念。定义由模糊代数系统生成的模糊D0L幂级数,并研究模糊D0L幂级数的性质。模糊D0L幂级数的重数序列具有很好的性质,且两个模糊D0L幂级数的等价性是可判定的。此外,模糊D0L幂级数的F-代数性、F-上下文无关性及F-有理性也是可判定的。

sl玻色子体系在U(2l+1)O(2l+2)过渡区的严格解

利用无穷维李代数方法得到了相互作用sl玻色子体系在U( 2l+ 1 ) O( 2l+ 2 )过渡区的能谱和波函数的严格解 .给出了该系统Bethe假定方程的数值解法 .