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