格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

Fuzzy格中理想的最小同余扩张

刻画了Fuzzy格中理想的最小同余扩张，设I为Fuzzy格F的任一理想，令Tc(I)={x∈F|Ed∈I，使得x∧d’≤d∧d’)，则Tc(I)是F中包含I的最小同余理想．证明了正规Fuzzy格(或Kleene代数)F中，理想E={x∧x’|x∈F}的最小同余扩张是一个W-理想，即存在唯一的同余关系以它为核．     

可解BCI—代数的结构

本文引进了一般BCI—代数的换位理想的概念,并以此刻画了结合BCI—代数,进而解决了可解BCI—代数的构造问题。定义设x为BCI—代数,X中形如(x*y)*(y*x)的元称为它的一个换位子,记作〔x,y〕.令X_c为X的全体换位子的集合,称X_c在X中生成的理想为X的换位理想,记作C(X)。定理1 若X为广义结合BCI—代数,则C(X)恰由X的一切换位子所组成,并且 C(X)={x*(0*x)|x∈X}。定理2 若N为BCI—代数X的理想,则商代数X/N为结合的当且仅当C(x)N.特别地,X/C(X)是结合BCI—代数。推论 BCI—代数X为结合的当且仅当C(X)={0}。定理3 优BCI代数X是可解的当且仅当存在自然数n,使c~n(x)={0}。     

Γ—环的一个定理的简证和一个结果

本文给出了[1]中一个定理:“左零因子具升链条件的Γ一环的强谐零单側理想恒为强幂零”的一个简证,并用同样的证明方法得到了如下结果:主左零化子具升链条件的强谐零Γ一环为Baer根Γ一环。     

正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.     

有限格2^x的自同构群

证明了有限格2^x的自同构群Aut2^x与有限偏序集X的自同构群是同构的这一结论。     

关于余剩余格的一点注记

进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.     

有限格2~X的自同构群

证明了有限格 2 X 的自同构群 Aut2 X 与有限偏序集 X的自同构群是同构的这一结论     

关于MV-代数

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

低阶格蕴涵代数的构造

借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题．证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个．这些结果将有助于对相应的逻辑系统与模糊推理的研究．