二值命题逻辑系统中公式的语构真度理论

• 作者: 吴洪博 龚加安
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题逻辑系统 语构真度 格值真度
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 数学
• 页码范围: 17-21
• 页数: 5页
• 分类号: O142
• 字数: 3742字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2009.05.004

摘要

从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	龚加安	陕西师范大学数学与信息科学学院	13	13	2.0	2.0