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

论文摘要

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

论文目录

• 摘要
• 引言
• 第一章 直觉模糊命题逻辑的广义拟重言式及其分类
• T-蕴涵算子'>1.1 直觉模糊命题逻辑的R_T-蕴涵算子
• 1.2 直觉模糊命题逻辑的广义拟重言式及其分类
• 第二章 直觉模糊命题逻辑系统中的Σ—广义拟重言式与类类互异定理
• n²与部分赋值'>2.1 系统I_n²与部分赋值
• n²的对称表示法'>2.2 I_n²的对称表示法
• n²与I_2n+1²中的α-拟重言式'>2.3 I_n²与I_2n+1²中的α-拟重言式
• 2.4 类类互异定理与升级算法
• 第三章 直觉模糊命题的真度
• 3.1 直觉模糊命题公式的α?真度
• 3.2 α-真度与α-重言式以及推理规则
• 3.3 真度值在[0,1]中的分布
• 结束语
• 致谢
• Abstract
• 参考文献
• 学位论文独创性声明
• 学位论文版权的使用授权书