二值命题逻辑中的三种Γ近似推理模式及其等价性

摘要：

在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密.在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离.最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论.

关键词：二值命题逻辑、Γ蕴涵真度、稠密、Γ近似推理模式、等价

所属期刊栏目：22

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金10331010

在线出版日期：2008-06-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：10-17