局部有限BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

伪的弱效应代数的同余和理想

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示.     

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

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

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

Lie color 代数的商代数

介绍了Lie color 代数的一些性质,如素性、半素性、非退化性等.给出了Lie color 代数的商代数以及弱商代数的概念,并把Lie color 代数的素性和半素性推广到它的商代数上.利用没有非零零化子的理想对Lie color 代数的商代数进行刻画,证明了:若L是Lie color 代数Q的子代数,则Q是L的商代数当且仅当Q理想吸收于L.通过具体构造证明了每一个半素Lie color 代数都有极大商代数,并给出这个极大商代数的等价刻画.     

关于形式系统Y^＊及R0-代数的若干结果

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

具有Riesz分解性质的广义效应代数

研究了上定向的具有Riesz分解性质的广义效应代数的结构.引入了广义效应代数中素理想的定义,证明了上定向的具有Riesz分解性质的广义效应代数是有限次直既约的当且仅当它是反格;上定向的具有Riesz分解性质的广义效应代数通过理想得到的商代数是反格当且仅当此理想是素理想.最后证明了上定向的具有Riesz分解性质的广义效应代数具有子直积表示.     

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

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

代数系统同态存在性的研究

代数系统间同态关系能在一定意义上保持两代数系统的性质.等价关系是一种重要的关系,由等价关系导出的等价类及商集有着非常重要的规律及典型的性质,商代数是由商集及其上的运算构成的代数系统,任何代数系统都与其商代数同态.     

BZ-代数的理想及其同态定理

引入BZ-代数的理想概念,并证明了BZ-代数的同态基本定理。利用BZ-代数的BZ1-部分,证明了此BZ1-部分是子代数又是理想,且其商代数是群逆BZ-代数。最后给出BZ-代数的群逆理想的概念,借此给出BZ-代数成为群逆BZ-代数和商代数成为群逆BZ-代数的充要条件。     

次BL代数的推理系统

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

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径     

超相等代数的强超推理系统

引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。     

BL代数的一种弱化形式

在对BL 代数及其相关逻辑代数研究的基础上, 通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式--WBL-代数, 并给出WBL-代数结构的实例; 证明BL 代数是WBL 代数, 并通过实例说明WBL-代数是BL-代数的真弱化形式, 且是MTL-代数的真加强形式; 在MTL-代数的基础上给出WBL-代数的一些特征定理.     

Congruence permutable Kleene-Stone algebras

A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.     

BL-代数的扰动模糊理想

利用扰动模糊集概念,研究BL-代数的扰动模糊理想的性质。引入了扰动模糊理想的概念并研究它的一些性质。通过扰动模糊理想构造了商BL-代数,并给出了扰动模糊同态基本定理。此外,给出了由扰动模糊集生成扰动模糊理想的方法。定义了扰动模糊理想的一些类型,研究它们间的一些关系。给出了扰动模糊Boolean理想、扰动模糊素理想、扰动模糊既约理想、扰动模糊超理想及扰动模糊Godel理想的一些刻画。     

gl∞(C)的导子代数

该文证明了只有有限个非零元的无限矩阵构成的李代数的导子代数同构于每行每列都有限个非零元的无限矩阵构成的李代数模去其中心所成的商。同时证明这个商代数是完备李代数。     

素内射模

利用同调代数理论讨论了素内射模,得到了素内射模的商模仍然是素内射模的刻画.通过引入Y-环的概念,得到了素内射模和内射模等价的充分必要条件.此外,还对素内射维数为0和1的模进行了一些研究.     

有限维结合代数的Coxeter矩阵

Coxeter矩阵理论在李理论,有限维结合代数的表示理论等学科起着重要作用.由Gabriel定理,代数闭域上基的,连通的有限维结合代数A同构于一个由连通有限箭图Q确定的路代数的商代数.本文先证明了当Q中无有向圈时,对顶点集适当排序后,A的整体维数有限,进而A的Cartan矩阵在整数环上可逆.然后利用A的Cartan矩阵和对称双线性型定义了A的基本反射,并利用数学归纳法证明了在Q无有向圈的条件下,A的Coxeter矩阵可分解为基本反射的乘积.