-
题名Borel型概率计量逻辑
被引量：18
- 1
-
-
作者
周红军
王国俊
-
机构
陕西师范大学数学与信息科学学院
-
出处
《中国科学：信息科学》
CSCD
2011年第11期1328-1342,共15页
-
基金
国家自然科学基金(批准号:61005046
10771129)
+1 种基金
陕西省自然科学基础研究计划(批准号:2010JQ8020)
中央高校基本科研业务费专项资金(批准号:GK200902048)资助项目
-
文摘
视全体赋值之集为通常乘积拓扑空间,利用该空间上的Borel概率测度在二值命题逻辑中引入了公式的概率真度概念.该方法既克服了计量逻辑学要求赋值集上的概率测度必须为均匀概率测度的无穷可数乘积的局限,又弥补了概率逻辑学只讲局部而缺乏整体性的不足;证明了计量逻辑学中公式的真度、随机真度以及概率逻辑学中公式的概率等概念都可作为本文提出的概率真度的特例而纳入到统一的框架中,从而实现了计量逻辑学与概率逻辑学的融合与统一;证明了逻辑闭理论与赋值空间中的拓扑闭集是一一对应的以及概率真度函数与赋值空间上的Borel概率测度是一样多的等若干结论;本文的第4节给出了公式的概率真度的公理化定义,证明了公式集上满足Kolmogorov公理的任一[0,1]值函数均可由赋值空间上的某Borel概率测度按本文的方法所表出,从而建立了二值命题逻辑框架下的概率计量逻辑的理论体系.
-
关键词
概率真度
有限分离性质
概率逻辑
计量逻辑
概率计量逻辑
-
Keywords
probabilistic truth degree, finite separation property, probability logic, quantitative logic, proba-bilistic and quantitative logic
-
分类号
O141
[理学—基础数学]
-
