%0 Journal Article
%T 形式系统L*中极大相容逻辑理论的拓扑刻画
%A 周红军
%J 电子学报
%P 2895-2899
%D 2011
%X 进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.
%K 形式系统L*
%K 极大相容理论
%K Cantor空间
%K 三值拓扑
%U http://www.ejournal.org.cn/CN/abstract/abstract2420.shtml