1. 集美大学理学院,福建,厦门,361021
2. 西安邮电学院应用数理系,陕西,西安,710061
3. 集美大学理学院福建厦门,361021
4. 西安邮电学院应用数理系陕西西安,710061
纸质出版:2008
移动端阅览
张东晓, 李立峰. 二值命题逻辑公式的语构程度化方法[J]. 电子学报, 2008,36(2):325-330.
ZHANG Dong-xiao, LI Li-feng. Syntactic Graded Method of Two-Valued Propositional Logic Formulas[J]. Acta Electronica Sinica, 2008, 36(2): 325-330.
本文从语构理论入手
在经典二值命题逻辑系统中给出公式的语构真度的概念
从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例
说明原来在语义下的真度是语构真度
并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出
τ
-相容理论的概念
指出
τ
-相容理论和相容理论的内在关系.
From the syntactical point of view
the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.Two equivalent depiction theorems about syntactic truth degree are introduced.Examples of syntactic truth degree illustrate that the original truth degree from semantics is a special syntactic truth degree.It is pointed out that the similarity degree and pseudo-metric induced by syntactic truth degree possess respectively the basic properties of similarity degree and pseudo-metric from semantics.The concept of τ -consistent theory is given.Then the intrinsic relation between τ -consistent and consistent theory is pointed out.
0
浏览量
918
下载量
12
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621