非经典数理逻辑与近似推理（第二版）

本书在第一版的基础上修订再版，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外，本书在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。
本书可作为计算机专业、自动控制专业的研究生教材，也可供数学及相关专业的高年级本科生、教师、科研人员阅读参考。

第1章 预备知识
本章介绍阅读本书所需的预备知识。熟悉代数学和经典命题逻辑的读者可以跳过本章，从第2章开始。
在1.1节中介绍关于泛代数方面的一些知识。泛代数的内容十分丰富，而我们只需要其中关于自由代数的知识。希望尽快接触多值逻辑内容的读者也可略去1.1节，而仅仅阅读它的最后一段，即关于自由代数的通俗解释部分。
在1.2节中介绍经典命题逻辑。除了在介绍紧性时用到滤子及超滤的概念外，其余部分是自封的。即使未接触过数理逻辑的读者也可以毫无困难地读完这一部分。为了避免通常对完备性定理的繁冗的证明，我们给出了较易理解的基于范式以及可证等价概念的证明方法。
……