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

摘要：

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

关键词：命题逻辑、一致结构、一致拓扑、极大相容理论

所属期刊栏目：41

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目10771129,11171200

在线出版日期：2013-10-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：7-12