IL型三I算法及其还原性

基于模糊推理的全蕴涵三I算法，给出了当蕴涵算子→为蕴涵格中的蕴涵算子（称为IL型蕴涵）时的三I算法和α-三I算法的表达式，并进一步讨论了IL型三IMT算法．给出了IL型三I算法、三IMT算法具有P-还原性的充分条件．证明了IL型三I算法是P-还原的，如果存在a∈X，使A（a）=1；IL型三IMT算法是P-还原的，如果存在b∈Y，使B（b）=0．     

Quantale的L-模糊理想

将L-模糊集理论应用到Quantale中,引入了L-模糊理想、L-模糊素理想和L-模糊预理想的概念,讨论了它们的性质,得到了若干等价刻画条件,给出了由L-模糊点生成L-模糊理想的具体结构。     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln，n值Goedel逻辑系统Gn，n值乘积逻辑系统Pn，n值标准序列逻辑系统Sn和n值L^＊逻辑系统职中的MP滤子的分布情况，并讨论了这些MP滤子与格滤子的关系。     

R0代数的一种新型商代数

目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系,得到R0代数的商代数。结果这种商代数是有界分配格。结论这种商代数成为R0代数的充分条件是对其中任意的a都有■a∨a=1。     

模糊有界完备domain及其基本性质

引入模糊有界完备domain和模糊Scott domain的概念,研究它们的模糊闭包算子的像以及模糊保序映射等一些基本的性质.证明在一定条件下,模糊有界完备domain上的所有理想之集是模糊Scott do-main,在此基础上给出模糊有界完备domain的等价刻画.     

迁移系统关于一类时态逻辑公式的满足度

从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.     

经典命题逻辑中的一致结构与一致拓扑

为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Γ在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词■与→关于导出的一致拓扑是连续的.得出了n个极大相容理论恰好将F(S)划分成2n个两两不交的非空区域,且每个区域在逻辑度量空间中的直径均为1.     

BL代数中极大滤子的拓扑性质

在BL代数L的全体极大滤子之集MF（L）上构造两种拓扑惑与§^＊,证明了（MF（L）,§）是紧致的Haus—dorff空间,（MF（L）,§^＊）是T1空间。并且得出了当相关论域取为有限集或全序的无限集时,§=§^＊。     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln,n值G6del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^＊逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系.     

R0代数上的一致拓扑空间

 利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间, (M,JF)是T0空间当且仅当F=｛1｝。 证明了R0代数M中的运算′, ∨与→在(M,JF)中均连续。 最后, 讨论了商代数中一致拓扑的性质。