纯正半群上的强同余及其格

给出了纯正半群S的强同余格上同余T的一些判别性质,证明了S上所有基础强同余所构成的集合FCP（S）是CP（S）的完备子格,最后讨论了由纯正半群的正规子半群决定的交完备子格的结构及由“求核”运算确定的（交完备格）同余K的若干性质,还顺带讨论了群同余格.     

矩形带的O-并的Hall半群及其强同余

得到了矩形带的O-并B的Hall半群S,得出了S的乘法公式,Green关系及其结构,进一步讨论了S的幂等元集E(S)的最小正规迹(?),得到结论(?)=D^(E(S)),最后得到S的最大幂等元分离同余μ=ε.     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

纯正半群上的强同余及Clifford同余

把Reilly对逆半群的幂等元集合的正规划分的概念推广到纯正半群,用它从另一角度刻画。了纯正半群上强同余的结构.并刻画了具有T关系的两个强同余的联和交的正则核正规系,又讨论了纯正半群上的Clifford同余,给出了最小Clifford同余的刻画.