李浙生著2017 年出版376 页ISBN：9787516182772
希腊哲学家亚里士多德创立了形式逻辑，数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础，是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性，矛盾律是一切证明都需要的最根本的原理，矛盾...
李凡长，刘贵全，佘玉梅著2005 年出版181 页ISBN：7541622044
本书系统地介绍了动态模糊集合论的初步认识和动态模糊逻辑的系统知识，分10章。
袁野等主编1990 年出版343 页ISBN：7561102763
本书阐述了语言与逻辑的不完全对应关系、语言指导的语义、语形、语用分析及语言表达的逻辑应用和逻辑要求等。简要介绍了有关离散数学、现代语言学、现代逻辑学的一些知识。 ...
郭开仲著2008 年出版462 页ISBN：9787030205346
本书共分5章。介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、真值表、逻辑范式及其有效的推理方法以及数理错误谓词逻辑的概念、参数等。...
