直觉模糊命题逻辑系统的语义

摘要

本文首先通过定义新的蕴涵算子→T，建立一个新的直觉模糊命题逻辑系统(I02，()，v，→T)，讨论此蕴涵算子的性质，研究系统I02上的广义拟重言式，它共分为五种不同的广义拟重言式：(1/2，1/2)-拟重言式，(吉，1/2,1/2)+-拟重言式，(1/2，0)-拟重言式，(1/2，0)+-拟重言式和(1，0)-拟重言式，将王国俊教授的广义重言式研究成果[1]从一维推广到整个二维直觉模糊命题代数上在此基础上，通过对公式进行I02中的部分赋值，利用同态变换ψ和对称表示赋值集的方法，分别讨论了系统I22n和系统I22n+1上的广义拟重言式之间的关系，即类类互异定理，它与文[2]的类类互异定理不一样，它在满足定理2.4.3条件时，只在每个小集合内类类互异；同时，在广义拟重言式之间建立了一种升级算法，获得越来越真的可达拟重言式，甚至得出(1,0)-拟重言式.最后，利用概率论方法定义直觉模糊命题逻辑系统的真度，研究α-真度与α-重言式之间的关系，同时，讨论(1/2，1/2)+-MP规则，(1/2，1/2)+-HS规则和α-交推理规则，并研究真度值在[0，1]中的分布.

目录

引言

第一章直觉模糊命题逻辑的广义拟重言式及其分类

1直觉模糊命题逻辑的RT-蕴涵算子

2直觉模糊命题逻辑的广义拟重言式及其分类

第二章直觉模糊命题逻辑系统中的∑-广义拟重言式与类类互异定理

1系统I2n与部分赋值

2 I2n的对称表示法

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

4类类互异定理与升级算法

第三章直觉模糊命题的真度

1直觉模糊命题公式的α-真度

2α-真度与α-重言式

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

结束语

致谢

参考文献

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