王国俊

数理逻辑引论与归结原理 | 2版.pdf

本书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分,同时,对“计量逻辑学”关于一阶系统Ky完备性的证明等诸多内容作了补充或修改。

数理逻辑引论与归结原理.pdf

本书讲述了与逻辑演算有密切关系的Boole代数理论;命题演算与一阶谓词演算理论;归结原理理论以及多值逻辑演算理论等内容。

非经典数理逻辑与近似推理.pdf

本书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道等内容。