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

Revisions on the Properties of Degree of Similarity in Propositional Logic Systems

作　　者：周建仁[1] 谢晶晶[1] 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710072

出　　处：《模糊系统与数学》2013年第3期51-57,共7页Fuzzy Systems and Mathematics

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

摘　　要：通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差。本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正。本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解。By studying of Quantitative Logic in depth, the existence of deviations of comprehension to degree of similarity, logic distance between formulas is found in quantitative logic, and these deviations originate from that of comprehension to properties of degree of similarity. The target of the present paper is to make some structures of counter examples to illustrate the existence of the deviations and to give some propositions to revise them. The work of this paper is helpful for a further understanding of the degree of similaritY, logic distance between formulas in quantitative logic.

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

分 类 号：O141[理学—数学]