经典命题逻辑中的一致结构与一致拓扑

• 作者: 王国俊 罗清君
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题逻辑 一致结构 一致拓扑 极大相容理论
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 7-12
• 页数: 6页
• 分类号: O141.1
• 字数: 7185字
• 语种: 中文

摘要

为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Г在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词乛与→关于导出的一致拓扑是连续的.得出了n个极大相容理论恰好将F(S)划分成2n个两两不交的非空区域,且每个区域在逻辑度量空间中的直径均为1.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	罗清君	陕西师范大学数学与信息科学学院	8	14	3.0	3.0