计量逻辑学的基本思想和研究综述

摘要：

　　介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论，针对不同的系统论述了真度理论和相似度理论，特别是介绍了作者提出的命题逻辑系统(L°)以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研宽课题。

关键词： 计重逻辑学 真度 相似度 逻辑度量空阐 相容度 谓词逻辑

作者: 王国俊

作者单位: 陕西师范大学数学研究所,陕西西安710062

会议类型: 国内会议

会议名称: 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议

会议地点: 福州

会议语种:中文

页码: 1-11,1-6

在线出版日期: 2012-11-02（万方平台首次上网日期，不代表论文的发表时间）