期刊文章详细信息
二值命题逻辑公式的语构程度化方法 ( EI收录)
Syntactic Graded Method of Two-Valued Propositional Logic Formulas
文献类型：期刊文章
机构地区：[1]集美大学理学院,福建厦门361021 [2]西安邮电学院应用数理系,陕西西安710061
年 份：2008
卷 号：36
期 号：2
起止页码：325-330
语 种：中文
收录情况：BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊
摘 要：本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.
关 键 词：二值命题逻辑 真度理论 语构真度 τ-相容理论
分 类 号：O142[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
