模糊数的四则运算性质及其线性方程

讨论模糊数的加、减、乘、除的运算性质,提出模糊数线性方程的概念,并给出这种方程的一种解法。     

逻辑系统中理论的下真度与相容度（I）

引入模糊逻辑系统中理论的下真度与不相容度的新概念,简化理论相容度的定义,给出理论的下真度、发散度、不相容度与相容度之间的关系。     

模糊连续映射和开映射的新特征

给定模糊格Ｌ及ＬＦ拓扑空间（Ｌ＾ｘ,δ）,对Ｌ的素元素ｒ及分子ａ,在（Ｌ＾ｘ,δ）中引入了ｒ－开集及α－闭集的概念。证明了所有的ｒ－开集Ｏｒ（δ）和α－闭集Ｃａ（δ）分别形成一个ＬＦ拓扑和ＬＦ余拓扑,借助于它俩得到了ＬＦ连续映射和ＬＦ开映射的若干新特征。     

公式真度的大小之比较

在不同的逻辑系统中,同一公式的真度往往差别很大.因此,本文系统探讨了六个n值命题逻辑系统中公式真度的分布情况.首先,计算了六个n值命题逻辑系统中一个典型公式的真度;然后通过列表比较了该公式在这六个逻辑系统中真度的大小.最后,分析了该公式在每个逻辑系统中的真度随n变化的情况.     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

n值命题逻辑系统中公式真度的进一步研究

首先计算了四个 n 值命题逻辑系统L*,Luk,G(o)d及Ⅱ中一个典型公式户p1→p2真度;然后比较了公式p1→p2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式p1→p2的真度随 n 变化的情况.     

一类新的左连续三角模族及其伴随蕴涵算子族

给出一种构造带参数的左连续三角模的新方法,由此得到7种新的左连续三角模族及其伴随蕴涵算子族.证明其伴随蕴涵算子均满足正则性.     

三角模族T(q,p)-LGN与逻辑系统LGN

首先, 给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)), 分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM) 的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族.     

L-fuzzy层次拓扑空间的准Ir-Lindel(o¨)f性质

在L-fuzzy层次拓扑空间中,利用Dα-闭集,定义了准Ir-Lindel(o¨)f性质,得出它们在更广泛的层次拓扑空间中,保持了L-fuzzy拓扑空间中的准Lindel(o¨)f性质的主要结论.例如,闭遗传性、弱拓扑不变性和好的推广等.     

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.