Lukasiewicz三值命题逻辑在非均匀概率空间下命题的真度理论

摘要：

在离散概率测度空间下定义了三值逻辑(p,q,r)测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑(1/6,1/3,1/2)测度下证明了L3中全体公式的真度值之集在[0,1]上是稠密的,并给出真度的表达式;利真度定义公式的相似度和一种伪距离,为一般离散概率空间下三值命题的近似推理理论提供了一种可能的框架.

关键词：非均匀概率空间、(p、q、r)测度、真度、相似度

所属期刊栏目：23

分类号：O141.1(数理逻辑、数学基础)

资助基金：河南省自然科学基金0611052600

在线出版日期：2008-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：118-121,124