命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集

• 作者: 宋建社 王伟 王国俊
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 数理逻辑 极大和谐理论 紧Hausdorff标准拓扑 Cantor三分集 完备性
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 1-5
• 页数: 5页
• 分类号: O142
• 字数: 5158字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2007.02.001

摘要

从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王伟	西安财经学院信息与教育技术中心	52	125	7.0	8.0
2	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
3	宋建社		39	860	14.0	29.0