共查询到3条相似文献,搜索用时 0 毫秒
1.
引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理. 相似文献
2.
形式系统L*的扩张L*n及其完备性 总被引:2,自引:0,他引:2
将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L*的一个扩张L*n, 证明了L*n的完备性. 相似文献
3.
适用于多种蕴涵算子的赋值空间上的测度与积分理论 总被引:5,自引:0,他引:5
王国俊 《中国科学(E辑)》2001,31(1):42-50
对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架. 相似文献