扰动模糊命题逻辑系统的语义

论文摘要

扰动模糊命题逻辑系统的产生源于实际问题的需要,但在该系统中对王国俊教授关于一维逻辑系统W|-中广义重言式理论到二维逻辑系统的推广工作进行得并不顺利. 本文通过修改二维蕴涵算子,建立一个新的扰动模糊命题逻辑系统D|-,将王国俊教授关于一维逻辑系统W|-中广义重言式理论推广到二维相应的扰动模糊命题逻辑系统中,得到与之类似的结果. 首先,本文给出了逻辑系统D|-, D中的广义重言式的分类,对偶地,也讨论了逻辑系统D|-, D中的广义矛盾式的分类. 其次,不仅给出了无限值逻辑系统D|-, D中的升值算法,还讨论了有限扰动模糊逻辑系统Dk中的公式分类及升级算法. 最后,讨论了该系统中的广义语义MP 规则和广义语义HS 规则. 本文表明在某些特殊的二维赋值格上,王教授关于一维赋值格的理论完全可以推广.

论文目录

• 摘要
• 引言
• 第一章 扰动模糊命题逻辑系统中的广义重言式
• 1.1 基本定义
• 1.2 逻辑系统D|-, D 中的广义重言式的分类
• 1.3 逻辑系统D|-, D 中的广义矛盾式的分类
• 第二章 扰动模糊命题逻辑系统中的升级算法
• 2.1 逻辑系统D|-, D 中的升值算法
• k中的公式分类及升级算法'>2.2 有限扰动模糊逻辑系统D_k中的公式分类及升级算法
• 第三章 动模糊命题逻辑系统中的广义语义MP 规则和广义语义HS规则
• 3.1 逻辑系统D|-,D 中的广义语义MP 规则和广义语义HS规则
• k中的广义语义MP规则和广义语义HS规则'>3.2 逻辑系统D_k中的广义语义MP规则和广义语义HS规则
• 结束语
• 致谢
• Abstract
• 参考文献
• 学位论文独创性声明
• 学位论文版权的使用授权书