对偶三角模-三角余模逻辑及推理

作者：  张兴芳

出版社：科学出版社 2015-2-5

简介：　　非经典逻辑及推理的种类和成果颇多, 限于篇幅，《对偶三角模-三角余模逻辑及推理》总结作者2005 年以来关于概率论、Lawry 的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果. 根据非经典命题和谓词的不确定性的各种特征，作者分别提出了相应的逻辑和推理方法, 概括其本质分别称为随机命题的概率逻辑、Vague 命题的Lawry 对偶三角模-三角余模逻辑，不确定命题和一阶不确定谓词的对偶下-上确界逻辑、模糊命题的三角模-蕴涵逻辑和三角模-蕴涵概率逻辑、随机模糊命题的三角模-蕴涵概率逻辑和一阶随机模糊谓词的三角模-蕴涵概率逻辑.