| 前言 第一章 预备知识 1 泛代数中的预备知识 2 经曲命题演算理论 第二章 多值逻辑的语义理论 1 引言 2 赋值格上的蕴涵算子 3 几种三值逻辑系统 4 一般多值逻辑系统 5 σ-（α-重言式）理论 第三章 命题演算的形式系统ψ 1 fuzzy推理与fuzzy逻辑 2 命题演算的形式演绎系统ψ 3 ψ-lindenbaum代数与r0-代数 第四章 ψ*中的语义理论与fuzzy推理的逻辑基础 1 ψ的语义与可靠性定理 2 ψ中另一类σ-重言式 3 fuzzy推理的cri算法 4 fuzzy推理的三i算法 5 fuzzy推理的逻辑基础、支持度理论 .第五章 积分语义学 1 公式的真度 2 真度值在[0，1]中的分布 3 积分相似度理论 4 f（s）上的伪距离 5 f（s）中的近似推理 第六章 格上的逻辑学 1 闭包算子与闭包系统 2 完备格上的逻辑学 3 紧致性的新形式——连续性 4 逐步推理 5 抽象模糊逻辑 6 公式集f上的非运算 第七章 pavelka的逻辑学 1 pavelka逻辑的基本理论 2 剩余格 3 赋值格为强剩余格的命题演算公式代数 4 完备性问题 第八章 fuzzy推理的非fuzzy形式 1 引言 2 二值逻辑系统ψ中的广义与多重广义mp规则的语构理论 3 多值逻辑系统ψ*中的广义与多重广义mp规则的语构理论 4 二值逻辑系统ψ中广义mp规则的语义理论 5 lukasiewicz三值系统l3中广义mp规则的语义理论 参考文献 索引 |
内容加载中，请稍后...
商品评论（0条）