中央高校基本科研业务费专项资金(GK200902048)
- 作品数：4 被引量：32H指数：3
- 相关作者：周红军王国俊更多>>
- 相关机构：陕西师范大学更多>>
- 发文基金：中央高校基本科研业务费专项资金陕西省自然科学基金国家自然科学基金更多>>
- 相关领域：理学更多>>
- 形式系统L＊中极大相容逻辑理论的拓扑刻画被引量：4
- 2011年
- 进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.
- 周红军
- Borel型概率计量逻辑被引量：17
- 2011年
- 视全体赋值之集为通常乘积拓扑空间,利用该空间上的Borel概率测度在二值命题逻辑中引入了公式的概率真度概念.该方法既克服了计量逻辑学要求赋值集上的概率测度必须为均匀概率测度的无穷可数乘积的局限,又弥补了概率逻辑学只讲局部而缺乏整体性的不足;证明了计量逻辑学中公式的真度、随机真度以及概率逻辑学中公式的概率等概念都可作为本文提出的概率真度的特例而纳入到统一的框架中,从而实现了计量逻辑学与概率逻辑学的融合与统一;证明了逻辑闭理论与赋值空间中的拓扑闭集是一一对应的以及概率真度函数与赋值空间上的Borel概率测度是一样多的等若干结论;本文的第4节给出了公式的概率真度的公理化定义,证明了公式集上满足Kolmogorov公理的任一[0,1]值函数均可由赋值空间上的某Borel概率测度按本文的方法所表出,从而建立了二值命题逻辑框架下的概率计量逻辑的理论体系.
- 周红军王国俊
- 关键词：概率真度概率逻辑
- R_0-代数上的滤子拓扑空间被引量：10
- 2012年
- 在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。
- 周红军
- 关键词：R0-代数MP滤子
- R_0-代数的Stone拓扑表示定理被引量：3
- 2010年
- 研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。
- 周红军
- 关键词：R0-代数极大滤子
