<p>《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。</p>

数理逻辑引论与归结原理

《非经典数理逻辑与近似推理》大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑.