本书的宗旨是面向大学数学专业的高年级学生、研究生以及青年学者，针对一些重要的数学领域与研究方向，作较系统的介绍。

本书既注意该领域的基础知识，又反映其新发展，力求深入浅出，简明扼要，注重创新。

本书在第一版的基础上修订再版，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外，本书在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。

本书可作为计算机专业、自动控制专业的研究生教材，也可供数学及相关专业的高年级本科生、教师、科研人员阅读参考。

《现代数学基础丛书》序

第二版前言

第一版前言

第1章 预备知识

第2章 多值逻辑的语义理论

第3章 命题演算的形式系统L*

第4章 L*中的语义理论与Fuzzy推理的逻辑基础

第5章 积分语义学

第6章 格上的逻辑学

第7章 Pavelka的逻辑学

第8章 Fuzzy推理的非Fuzzy形式

第9章 模态逻辑、知识推理与描述逻辑

参考文献

索引

《现代数学基础丛书》已出版书目