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

来源 :陕西师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：chenshuae9o

【摘要】

：

为描述经典命题逻辑中全体公式之集F（S）的拓扑结构,基于理论Γ在F（S）上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则

【作者】

：

罗清君王国俊

【机构】

：

陕西师范大学数学与信息科学学院,西安财经学院统计学院

【出处】

：

陕西师范大学学报：自然科学版

【发表日期】

：

2013年3期

【关键词】

：

命题逻辑一致结构一致拓扑极大相容理论 propositional logic uniformity uniform topology maximal

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

von Neumann代数上的Jordan双导子

证明了无非零中心理想von Neumann代数上的Jordan双导子是内双导子。作为应用,给出了无非零中心理想von Neumann代数中所有自伴算子构成的实Jordan代数上Jordan双导子的具体

期刊

vonNEUMANN代数双导子Jordan双导子von Neumann algebra biderivation Jordan biderivati

加权有限自动机的幺半群

讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立了变换幺半群与语法幺半群之间的关系。最后讨论了加权有限自动机的转移幺半群。

期刊

半环加权有限自动机局部有限同态semiring weighted finite automata locally finiteness homom

2-连通图的修正的彩虹顶点连通数

路P称为修正的顶点彩虹路,如果P中所有的顶点着不同的颜色或者除端点外其余顶点着不同于端点的颜色。图G称为是修正的彩虹顶点连通的,如果对于G的任意两个顶点u和v,G都有一条

期刊