同主语同标签Vague命题的Lawry逻辑

给出了Lawry不确定模型的新的性质.基于Lawry模型,引入了同主语同标签Vague命题的Lawry真度的概念.由此,提出了一种非经典逻辑,称为同主语同标签Vague命题的Lawry逻辑,简称Lawry逻辑.其逻辑规律表明它与经典逻辑具有优良的和谐性.     

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

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

三角模族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三角模族的一个子族.     

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

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

公式真度的大小之比较

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

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

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

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

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

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

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

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

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

Gdel系统中由一个或两个原子生成的公式的真值函数的特征

在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。