区间值模糊命题逻辑的广义拟重言式及其真度

摘要

定义了规范区间和区间值模糊命题逻辑的→G蕴涵算子，研究了区间值模糊命题逻辑广义拟重言式及其分类。在此基础上给出局部赋值的广义拟重言式定义，并在其中建立了升级算法。最后定义了-a-真度，并研究了区间值模糊命题公式的真度值在[0，1]中的分布。获得了与王国俊教授一维赋值格类似的结果。本文表明王国俊教授一维赋值格的理论需要在蕴涵算子和重言式等方面做大量的工作，才能推广到二维赋值格上去，而这些工作有着显而易见的实际背景，说明这样做是十分必要和不可避免的。

目录

摘要

引言

1区间值模糊命题逻辑的广义拟重言式及其分类

1.1区间值模糊命题逻辑的RG蕴涵算子

1.2(()，V，→G)型同态

1.3区间值模糊命题逻辑系统中广义拟重言式及其分类

2区间值模糊命题逻辑系统中的∑-广义拟重言式

2.1系统I2n与部分赋值

2.2 I2n的对称表示法

2.3I2 2n与I2 2n+1中的-α-拟重言式

3 I2n中可达拟重言式类及其升级算法

4区间值模糊命题的真度

4.1 F(S)中公式的-α-真度

4.2-α-真度与-α-重言式

4.3真度值在[0，1]中的分布

结束语

致谢

参考文献

学位论文独创性声明及学位论文版权的使用授权书