论文部分内容阅读
从结构上清楚地描述了极大和谐理论的构造，证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包；在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑，证明了所得拓扑空间与Cantor三分集同胚，作为应用，给出了命题逻辑系统完备性的一个简单证明。
命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集
【摘 要】
：
从结构上清楚地描述了极大和谐理论的构造，证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包；在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑，证
【机 构】
：
陕西师范大学数学与信息科学学院,西安财经学院信息与教育技术中心,西安高技术研究所
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学基金重点资助项目（10331010）
其他文献
对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这
目的探讨还脑益聪方（HYD）提取物改善学习记忆能力的作用机制。方法 3月龄淀粉样前体蛋白（APP）/早老蛋白1（PS1）双转基因小鼠,随机分为模型对照、盐酸多奈哌齐0.65 mg·kg^-1、HY