概率逻辑学基本定理在多值命题逻辑系统中的推广

• 作者: 惠小静
• 来源期刊: 应用数学学报
• 学科: 数学
• 关键词: 概率逻辑学基本定理 概率 不可靠度 计量逻辑学 度量空间
• 年，卷（期）: 2011,（2）
• 页码范围: 217-228
• 分类号: O159
• 字数: 8081字
• 语种: 中文

摘要

通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本方法引入计量逻辑学,建立了更一般的逻辑度量空间;通过概率逻辑学基本定理,证明了逻辑度量空间中概率MP,HS规则,它是真度MP,HS规则的推广.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0