二值命题逻辑公式的语构程度化方法

• 作者: 张东晓 李立峰
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 二值命题逻辑 真度理论 语构真度 τ-相容理论
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 325-330
• 页数: 6页
• 分类号: O142
• 字数: 6896字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2008.02.021

摘要

本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李立峰	西安邮电学院应用数理系	15	85	5.0	9.0
2	张东晓	集美大学理学院	6	47	3.0	6.0