作 者:王国俊 著 著作
定 价:128
出 版 社:科学出版社
出版日期:2008年05月01日
页 数:304
装 帧:平装
ISBN:9787030212955
●《现代数学基础丛书》序
●第二版前言
●第一版前言
●第1章预备知识
●1.1泛代数中的预备知识
●1.1.1泛代数
●1.1.2自由代数
●1.2经典命题演算理论
●1.2.1自由代数--用符号表示命题
●1.2.2语构理论--形式演绎体系
●1.2.3语义理论一真值体系
●1.2.4可靠性定理与完备性定理
●1.2.5模型与紧性
●1.2.6Lindenbaum代数
●第2章多值逻辑的语义理论
●2.1引言
●2.1.1多值逻辑的产生背景与历史概述
●2.1.2多值逻辑与经典逻辑的异同
●2.1.3多值逻辑的研究内容
●2.2赋值格上的蕴涵算子
●部分目录
本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学理论,为近似推理提供了一种可能的框架;系统地论述了Pavelka逻辑、扼要论述了抽象逻辑;用精练的语言讲述了模态逻辑、描述逻辑和知识推理中Kripke知识结构的核心内容。本书在靠前版的基础上修订再版,除改正了靠前版中的若干笔误和印刷错误之外,主要增添了模态逻辑、知识推理与描述逻辑等内容。