关于命题逻辑系统中相似度性质的修正

摘要：

通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差.本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正.本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解.

关键词：模糊逻辑、计量逻辑、真度、相似度、反例、修正

所属期刊栏目：27

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

资助基金：国家自然科学基金资助项目11171196

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

页数：共7页

页码：51-57