命题逻辑系统Ln^*中公式关于有限理论的∑r-真度理论 |
| |
引用本文: | 吴洪博.命题逻辑系统Ln^*中公式关于有限理论的∑r-真度理论[J].模糊系统与数学,2008,22(4). |
| |
作者姓名: | 吴洪博 |
| |
作者单位: | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
摘 要: | 将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln^*中引入了公式集相对于有限理论的∑r-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τr(A)+τr(A→B)≤1+τr(B)在模糊命题逻辑系统Ln^*中的公式集F(S)上引入相对于有限理论的 Г-伪距离概念,从而为在模糊命题逻辑系统Ln^*中建立相对于有限理论的近似推理框架奠定了基础。
|
关 键 词: | 多值逻辑 逻辑系统Ln^* 有限理论 ∑r-模糊真度 Г-伪距离 |
本文献已被 维普 等数据库收录! |