几个三值命题逻辑系统中命题真度的分布

• 作者: 王国俊 茹永梅
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 数理逻辑 真度 三值真度推理规则 三值逻辑测度 稠密
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 6-10
• 页数: 5页
• 分类号: O141.1
• 字数: 5394字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2005.04.002

摘要

利用势为3的均匀概率空间的无穷乘积在W3、G3、Ⅱ3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表达通式,即若A∈F(S),则τ(A)=k/3n(n=1,2,…,k=0,1,…,3n).此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础,并且使W3,G3,Ⅱ3及S3系统中公式的真度有了统一的理论体系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	茹永梅	陕西师范大学数学与信息科学学院	2	10	1.0	2.0