●《現代數學基礎叢書》序
●第二版前言
●第一版前言
●第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知識結構的核心內容。本書在靠前版的基礎上修訂再版，除改正了靠前版中的若干筆誤和印刷錯誤之外，主要增添了模態邏輯、知識推理與描述邏輯等內容。