非經(jīng)典數(shù)理邏輯與近似推理（第二版）

《現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書》序
第二版前言
第一版前言
第1章 預(yù)備知識
　1.1 泛代數(shù)中的預(yù)備知識
　1.2 經(jīng)典命題演算理論
第2章 多值邏輯的語義理論
　2.1 引言
　2.2 賦值格上的蘊涵算子
　2.3 幾種三值邏輯系統(tǒng)
　2.4 一般多值邏輯系統(tǒng)
　2.5 Σ-（α-重言式）理論
第3章 命題演算的形式系統(tǒng)∥
　3.1 Fuzzy推理與Fuzzy邏輯
　3.2 命題演算的形式演繹系統(tǒng)E*
　3.3 E*-indenbaum代數(shù)與R。-代數(shù)
第4章 夠中的語義理論與Fuzzy推理的邏輯基礎(chǔ)
　4.1 E*的語義與可靠性定理
　4.2 E*中另一類三_重言式
　4.3 Fuzzy推理的CR1算法
　4.4 Fuzzy推理的三I算法
4.5 Fuzzy推理的邏輯基礎(chǔ)、支持度理論
第5章 積分語義學(xué)
5.1 公式的真度
5.2 真度值在[0，1]中的分布
5.3 積分相似度理論
5.4 F（S）上的偽距離
5.5 F（S）上的近似推理
第6章 格上的邏輯學(xué)
6.1 閉包算子與閉包系統(tǒng)
6.2 完備格上的邏輯學(xué)
6.3 緊致性的新形式——連續(xù)性
6.4 逐步推理
6.5 抽象模糊邏輯
6.6 公式集F上的非運算
第7章 Pavelka的邏輯學(xué)
7.1 Pavelka邏輯的基本理論
……
第8章 Fuzzy推理的非Fuzzy形式
第9章 模態(tài)邏輯、知識推理與描述邏輯
參考文獻
索引
《現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書》已出版書目