非经典数理逻辑与近似推理

前言
第一章 预备知识
1?1 泛代数中的预备知识
1?2 经曲命题演算理论
第二章 多值逻辑的语义理论
2?1 引言
2?2 赋值格上的蕴涵算子
2?3 几种三值逻辑系统
2?4 一般多值逻辑系统
2?5 Σ-(α-重言式)理论
第三章 命题演算的形式系统ψ
3?1 Fuzzy推理与Fuzzy逻辑
3?2 命题演算的形式演绎系统ψ
3?3 ψ-Lindenbaum代数与R0-代数
第四章 ψ*中的语义理论与Fuzzy推理的逻辑基础
4?1 ψ的语义与可靠性定理
4?2 ψ中另一类Σ-重言式
4?3 Fuzzy推理的CRI算法
4?4 Fuzzy推理的三I算法
4?5 Fuzzy推理的逻辑基础、支持度理论
第五章 积分语义学
5?1 公式的真度
5?2 真度值在[0，1]中的分布
5?3 积分相似度理论
5?4 F（S）上的伪距离
5?5 F（S）中的近似推理
第六章 格上的逻辑学
6?1 闭包算子与闭包系统
6?2 完备格上的逻辑学
6?3 紧致性的新形式――连续性
6?4 逐步推理
6?5 抽象模糊逻辑
6?6 公式集F上的非运算
第七章 Pavelka的逻辑学
7?1 Pavelka逻辑的基本理论
7?2 剩余格
7?3 赋值格为强剩余格的命题演算公式代数
7?4 完备性问题
第八章 Fuzzy推理的非Fuzzy形式
8?1 引言
8?2 二值逻辑系统ψ中的广义与多重广义MP规则的语构理论
8?3 多值逻辑系统ψ*中的广义与多重广义MP规则的语构理论
8?4 二值逻辑系统ψ中广义MP规则的语义理论
8?5 Lukasiewicz三值系统L3中广义MP规则的语义理论
参考文献
索引