非经典数理逻辑与近似推理 第2版

本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统地论述了Pavelka逻辑、扼要论述了抽象逻辑；用精练的语言讲述了模态逻辑、描述逻辑和知识推理中Kripke知识结构的核心内容。本书在第一版的基础上修订再版，除改正了第一版中的若干笔误和印刷错误之外，主要增添了模态逻辑、知识推理与描述逻辑等内容。