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

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

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

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 形式。     

BR_(0~-)代数的表示定理及其简化形式

通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0~-)代数的格蕴涵表示形式,使得BR_(0~-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0~-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0~-)代数和BR_(0~-)代数的关系给出了MV-代数的BR_(0~-)代数表示形式以及BR_(0~-)代数的简化形式.     

BR0-代数定义的简化形式

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

BR_0代数与FI代数的关系

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

关于R0代数公理系统的简化与独立性的修正

目的简化R0代数的定义。方法修正并利用《R0代数公理系统的简化与独立性》一文的主要结果来考察R0代数的原始定义及其性质。结果给出了R0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的（弱）R0代数的简化定义已是最简。     

R_0代数,MV代数的等价刻画

通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

伪BR0代数及其性质

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

关于H-Hopf模代数

本文引进了Ｈ－Ｈｏｐｆ模代数．对可换Ｈｏｐｆ代数Ｈ,证明了Ｈ－Ｈｏｐｆ模代数范畴等价于含单位元的代数范畴;并对一个交换的Ｈ－Ｈｏｐｆ模代数Ａ,有：如果β：ＡＡ０Ａ→ＡＨ为满射（这里β（ａｂ）＝Σａｂ（０）ｂ（１））,则Ａ为忠实平坦的Ａ０一模,且β为Ｈ－Ｈｏｐｆ模代数同构．     

Implicational lattices and generalization of Stone’s representation theorem

Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone's representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.     

BR_0代数中的~*理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.     

基于剩余格的一类度量空间及性质

给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构, 讨论了该度量结构下该类剩余格中的聚点问题, 并证明了剩余格的基本运算在度量空间中的连续性.     

V型Heisenberg Virasoro代数

引入了V型Heisenberg Virasoro代数的概念,它是Heisenberg Virasoro代数的一种自然推广,确定了V型Heisenberg Virasoro代数的具体结构.     

四维Novikov代数的导子代数

Novikov代数是一类特殊的左对称代数,与李代数的联系非常密切。导子是No-vikov代数中一个非常重要的概念。主要讨论复数域上的四维Novikov代数的导子代数的结构。给出了Novikov代数以及Novikov代数的导子的定义,讨论了它们的一些简单性质及其与左对称代数的联系,找到了复数域上四维Novikov代数的分类,对于每一类四维的Novikov代数写出它在一组特定的基下的特征矩阵,利用Novikov 代数的导子的定义,通过计算这类Novikov代数的导子在这组特定的基下的矩阵找出四维Novikov代数的导子的结构形式,利用表格的形式给出所有的四维Novikov代数的导子,从而得到每一类四维Novikov代数的导子代数的结构。     

次直不可约Quasi-Stone代数的判定

目的研究次直不可约Quasi-Stone代数的判定定理。方法利用次直不可约代数的判定条件。结果与结论一个Quasi-Stone代数是次直不可约代数当且仅当它的同余格是一个二元链或一个三元链。     

Virasoro-相似代数的Hom-李代数结构

Hom-李代数可以看作李代数的形变和推广.本文给出了复数域上Virasoro-相似代数的Hom-李代数结构.     

关于n-Lie代数的几个注记

在Lie代数的研究中 ,半单Lie代数是主要研究对象 ,在n -Lie代数中 ,人们试图将半单n -Lie代数放在同样位置去讨论 ,并希望得到像半单Lie代数那样好的结果 ,将举例说明 ,半单n -Lie代数并不具有半单Lie代数所具有的性质 ,半单Lie代数是单理想直和 ,半单Lie代数的导子是内导子 ,半单Lie代数与其导代数相等