形式系统L*中极大相容逻辑理论的拓扑刻画

• 作者: 周红军
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 形式系统L* 极大相容理论 Cantor空间 三值拓扑
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 科研通信
• 页码范围: 2895-2899
• 分类号: O142
• 字数: 5636字
• 语种: 中文

摘要

进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画；在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的；最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周红军	陕西师范大学数学与信息科学学院	29	95	6.0	8.0