非经典逻辑及推理的种类和成果颇多, 限于篇幅,《对偶三角模-三角余模逻辑及推理》总结作者2005 年以来关于概率论、lawry 的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果. 根据非经典命题和谓词的不确定性的各种特征,作者分别提出了相应的逻辑和推理方法, 概括其本质分别称为随机命题的概率逻辑、vague 命题的lawry 对偶三角模-三角余模逻辑,不确定命题和一阶不确定谓词的对偶下-上确界逻辑、模糊命题的三角模-蕴涵逻辑和三角模-蕴涵概率逻辑、随机模糊命题的三角模-蕴涵概率逻辑和一阶随机模糊谓词的三角模-蕴涵概率逻辑. 《对偶三角模-三角余模逻辑及推理》可作为非经典逻辑、推理及应用研究的学者的参考资料, 也可以作为数学、计算机、智能控制、不确定信息处理等相关专业的硕士研究生和博士研究生的教学参考书.
|