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