关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一介模态逻辑归结系统是不完备的，为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法。     

任意随机变量序列的一类强极限定理

对任意的实值随机变量序列｛Ｘｎ,ｎ≥１｝以及函数列｛ψｎ（ｘ）,ｎ≥１｝,研究了随机序列｛ψｎ（Ｘｎ）,ｎ≥１｝的强极限定理,所得的结果是经典的独立随机变量的极限定理的推广。     

Fuzzy模态逻辑及其基础系统

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

强连续算子半群一致指数渐近行为的平均定理

为了研究Banach空间中强连续算子半群的一致指数渐近行为,借助Pata引理分别得到了其满足一致指数稳定与一致指数膨胀的若干连续与离散形式的平均刻画.所得结论推广了动力系统定性理论中的一些已有结果.     

非齐次树上马氏信源关于广义赌博系统的强偏差定理

研究给出了非齐次树上马氏信源关于广义赌博系统的强偏差定理.