格序半群的格序同余与格序同态

本文给出格序半群Ｓ的格序同余生成定理，讨论了格序同余和格序同态的一些性质，并且将格序群同态基本定理推广到格序半群上。     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上,证明了偶序对〈R,～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格,而且可构成正则剩余格和MV-代数。     

格序代数二次序共轭的一个注

主要讨论了格序代数（f-代数,殆f-代数,d-代数）的二次序连续共轭与一次共轭在Arens乘积下的乘积空间的序结构问题．给出了f-代数二次序连续共轭是半素的f-代数的一个充分必要条件．     

格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.     

四阶矩阵代数中两个新的Kadsin—singer格

将矩阵代数M2（C）和M3（C）中生成von Neumann代数分别为M2（C）和M3（C）的KS-格嵌入到M4（C）中,构造并生成了M4（C）中生成von neumann代数为M2（C）＋C＋C和M3（C）＋C两种KS-格．     

几类允许代数正的符号模式矩阵

考虑三对角符号模式矩阵和爪形符号模式矩阵,讨论了三对角符号模式矩阵和爪形符号模式矩阵是否允许代数正.借助组合矩阵论和图论的方法,给出了这两类符号模式矩阵允许代数正的必要条件.最后,分别给出了n阶三对角符号模式矩阵和n阶爪形符号模式矩阵允许代数正的等价条件.     

格序群上矩阵方程A。X=B的解

在[1]、[2]、[3]中分别给出了完备的Browwer格上、每个元都有有限的并既约分解的格上以及一般分配格上的矩阵方程AX=B(即:(a_(ji)∧x_i)=b_j,j=1,2,…,m)的全部解的求法,和有解的条件.本文对格序群(G, ,∨,∧)上的矩阵方程A·X=B(即a_(ji)∧x_i a_(jz)∧x_2 … a_(jn)∧x_n=b_j,j=1,2,…,m)以及A*X=B.(即:a_(j1)∨x-1 a_j2∨x_2 … a_(jn)∨x_n=b_j,j=1,2,…,m)分别给出了其有解的条件、解集的构造,以及求解的一个常规方法.     

格上的T-幂零矩阵

利用完备的分配格L上三角模定义L上的矩阵运算，给出这些运算的一些基本性质，并且定义了L上的T-幂零矩阵，给出一些新的结果．     

代数格的拓扑刻画

利用拓扑学理论讨论了代数格,强代数dcpo以及强代数格上的Scott拓扑,得出了一个拓扑若是超-coherent的当且仅当它与某个强代数dcpo上的Scott拓扑一致,其超紧基在交运算下非空且封闭当且仅当它是某个代数格上的Scott拓扑.     

关于MV-代数

讨论了 MV-代数 ( X; ,× ,* ,0 ,1 )上自然偏序关系的一些基本性质 ;给出了 MV-代数的一个等价公理系 ,它同 D.Mundici曾提出的一个简化公理系相比更为简单 .     

Heyting代数定义的简化

Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去，从而简化定义。     

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.     

格环上的Fuzzy同余关系

给出了格环上Fuzzy同余关系的定义,研究了它的若干性质,证明了格环上的全体Fuzzy同余关系关于Fuzzy集合的包含关系构成一个模格,并利用Fuzzy同余类给出了Fuzzy同余商格环的定义及其同态、同构的若干性质。     

有界蕴涵BCK-代数的伴随半群

引用偏序半群中剩余的概念,对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论,证明了M（X）是一个有补格,模格,进一步证明了M（X）是一个Heyting代数。     

Boo1e代数与双格半群

指出Boole代数类是双格半群类的真子类；有限Boole代数类是F-格半群类的真子类；当格群是Boole代数时，该格群一定是平凡的，同时给出一个双格半群(S， ，≤)是Boole代数的充要条件是：1．存在0∈S，任意x∈S，0≤x，0 x=x 0=x；2．任意x，y∈S，(x⊙y) x=x；3．任意x∈S，存在x′∈S，x⊙x′=x；4．任意x，y,x∈S，x xy=x xz，x⊙y推出x=y.     

格蕴涵代数的构造

进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究.     

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

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