命题逻辑公式集上的正则相似关系

• 作者: 宋庆燕 杨兴忠
• 来源期刊: 陕西师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 真度 相似度 正则相似度 伪距离
• 年，卷（期）: 2002,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 23-27
• 页数: 5页
• 分类号: O141.1
• 字数: 3886字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2002.04.005

摘要

研究了命题逻辑公式集(F(S))上的正则相似关系.在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上的一种伪距离,并且证明了它与另外两种伪距离是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨兴忠	湖北民族学院信息工程学院	8	22	3.0	4.0
2	宋庆燕	陕西师范大学数学研究所	3	117	3.0	3.0