无收点的有向图代数

对于有向图代数的研究通常是假定图是无收点的，对于一个有收点（没有任何边以其为起点的顶点）的有向图E往往要把它处理成无收点的图F，而且使得C^*（E）与C^*(F）间有良好的关系。据此给出一种方法，并且证明了C^(E)是C^*(F)的C^*－子代数，随之给出几个比较有趣的推论。     

一类包含σ紧空间和可分空间的拓扑空间

定义*σ紧空间的概念，讨论*σ紧空间的一些性质以及*σ紧性与*Lindelo(e)性。c，c，c与可分性之间的关系。结合点可数基讨论了一些空间的某些性质。     

形式系统语义解释的逻辑与限度

形式系统超前于语义解释的逻辑关系使形式释义成为必要。形式释义是科学解释中对定律解释具有决定作用的部分，其逻辑过程在宏观上显现为“解释者的前理解——形式系统——经验事实”的模式，在微观上则可用P1—TT—EE—P2来描述。形而上学信念是形式释义的出发点和终极理由，形式释义的这种限度可以在人的历史性中获得理性的理解与解释。     

正则H-半群中的L^＊左次半群的刻画

引入了L^＊左次半群和L^＊直左次半群的概念,并且利用所谓的L^＊可适对给出了正则H-半群中的眇左次半群的刻画．     

Lω-空间中的ω＊Ti正分离性（Ⅱ）

在Lω空间中,以文[3]为基础,进一步引入Lω-空间中的ω＊-正则性、ω＊-正规性、ω＊Ti（i=3,4）分离性,讨论了它们与Lω-空间中已有分离性之间的关系,证明了它们是ω-闭遗传的、ω-同胚不变的以及是R．Lowen意义下的推广．     

关于Mn＊-半群

本文研究了全体n阶矩阵关于乘法和转置构成的＊-半群,给出了＊-子半群的概念证明了Mn存在＊-正则子半群、＊-逆子半群、＊-子群．证明了对于任意正整数n,如果一个集合S的元素个数为n^2＋1则可以定义乘法和＊运算把S变成正则＊-半群,而且S是一个逆半群．     

F~*-子群与有限群的p-幂零性

利用Sylow子群的极大子群和2-极大子群,研究F*-子群对有限群的p-幂零性的影响,得到有限群p-幂零性的若干充分条件.     

Fuzzy模态逻辑及其基础系统

引进一个集合与其真子集元素个数之比较的概念，对Fuzzy模态命题α□A的语义给出了严格的定义。在模态逻辑语言中添加Fuzzy模态算子α□和α^*◇，建立Fuzzy模态逻辑。文中讨论了基础Fuzzy模态逻辑系统。     

弱闭与*弱闭等价的一个充分条件

引入赋范线性空间的一种性质,得到对偶空间中弱闭与＊弱闭等价的一个充分条件,并研究具有这种性质的赋范线性空间的对偶空间中凸集的最佳逼近元存在性问题。