模态R0代数的模态滤子

在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件.     

剩余格上逻辑度量空间的拓扑性质

首先研究了逻辑度量空间(［0,1］, ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了［0,1］剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。     

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

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

适宜于展开模糊推理的两类模糊度量空间

给出了衡量模糊推理鲁棒性的度量应有的结构,建立了基于左连续三角模的4类模糊度量空间,证明了基于Lukasiewicz蕴涵和Goguen乘积蕴涵的模糊度量空间是最适宜于展开模糊推理的两类模糊度量空间.     

信息集推理研究

目的 研究2个信息集之间的关系.方法 基于逻辑系统L,从语构角度出发,借助真度理论,将公式集合看作整体信息单位.结果 在集族(p)F(S)上建立序关系,讨论了其上的代数性质,并定义了2个信息集之间的关联度和相似度.结论 用信息集的关联度刻画出了信息集之间的关系,并用其解决了一个简单实际问题.     

数形结合在高等代数教学中的应用

高等代数课程的重要研究对象是有限维空间的线性理论,此部分内容具有较强的抽象性.然而高等代数所讨论的有限维空间是二维、三维几何空间的抽象和推广,因此诸多定义和方法都有相应的几何背景.将高等代数的某些抽象概念与其几何背景相结合,进而把数形结合思想运用到高等代数的教学中.特别地,针对一些具体的教学案例进行了分析.借助几何方法学习抽象概念对学生理解高等代数课程有着重要的意义.     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。