-
题名二值命题逻辑公式的语构程度化方法
被引量：17
- 1
-
-
作者
张东晓
李立峰
-
机构
集美大学理学院
西安邮电学院应用数理系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2008年第2期325-330,共6页
-
文摘
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.
-
关键词
二值命题逻辑
真度理论
语构真度
τ-相容理论
-
Keywords
two-valued propositional logic
truth degree theory
syntactic truth degree
τ-consistent theory
-
分类号
O142
[理学—基础数学]
-
-
题名L~＊系统中公式的语构程度化方法
被引量：8
- 2
-
-
作者
罗敏霞
姚宁
-
机构
中国计量学院应用数学系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第2期424-428,共5页
-
基金
国家自然科学基金(No.90818020)
-
文摘
本文从语构角度出发,给出L*系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L*系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空间中运算的连续性,从而为在L*系统中基于语构理论展开近似推理提供可能的框架.
-
关键词
L＊系统
语构真度
相似度
伪度量
伪度量空间
-
Keywords
the system L＊
syntactical truth degree
similarity degree
pseudo-metric
the pseudo-metric space
-
分类号
O141.1
[理学—基础数学]
-
