检索结果-维普期刊中文期刊服务平台

系统L^＊中极大相容理论结构刻画的归纳证明被引量：3: 1; 作者周红军王国俊《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期1-6,共6页; 在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命... 展开更多; 关键词模糊逻辑系统L^＊极大相容理论满足性定理紧致性定理; 在线阅读下载PDF 职称材料

Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画被引量：3: 2; 作者周红军《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期1-4,共4页; 通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证... 展开更多; 关键词 Lukasiewicz模糊命题逻辑极大相容理论满足性定理紧致性定理; 在线阅读下载PDF 职称材料

模态逻辑系统S5中极大相容理论的结构刻画被引量：1: 3; 作者李璧镜《电子学报》 EI CAS CSCD 北大核心 2014年第8期1551-1555,共5页; 在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容... 展开更多; 关键词模态逻辑极大相容理论存在状态状态描述; 在线阅读下载PDF 职称材料

形式系统L＊中极大相容逻辑理论的拓扑刻画被引量：4: 4; 作者周红军《电子学报》 EI CAS CSCD 北大核心 2011年第12期2895-2899,共5页; 进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立... 展开更多; 关键词形式系统L＊极大相容理论 Cantor空间三值拓扑; 在线阅读下载PDF 职称材料

逻辑系统NMG的满足性和紧致性被引量：7: 5; 作者周红军王国俊《软件学报》 EI CSCD 北大核心 2009年第3期515-523,共9页; 紧致性是模糊逻辑的一个重要性质.现已经证明■ukasiewicz命题逻辑、Gdel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.; 关键词模糊逻辑逻辑系统NMG 极大相容理论满足性紧致性 Cantor空间; 在线阅读下载PDF 职称材料

经典命题逻辑中的一致结构与一致拓扑: 6; 作者罗清君王国俊《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第3期7-12,共6页; 为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Γ在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词■与→关于导出的一致拓扑是连续的.得... 展开更多; 关键词命题逻辑一致结构一致拓扑极大相容理论; 在线阅读下载PDF 职称材料

题名系统L^＊中极大相容理论结构刻画的归纳证明被引量：3: 1; 作者周红军王国俊; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期1-6,共6页; 基金国家自然科学基金资助项目(10771129) 陕西师范大学优秀博士学位论文基金资助项目; 文摘在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系.; 关键词模糊逻辑系统L^＊极大相容理论满足性定理紧致性定理; Keywords fuzzy logic system L^＊ maximal consistent theory satisfiability theorem compactness theorem; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画被引量：3: 2; 作者周红军; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期1-4,共4页; 基金国家自然科学基金资助项目(61005046) 陕西省自然科学基础研究计划项目(2010JQ8020); 文摘通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证明了该Fuzzy拓扑空间是零维的、良紧的,但不是覆盖式紧的,其分明截拓扑空间是覆盖式紧的、可度量化的.; 关键词 Lukasiewicz模糊命题逻辑极大相容理论满足性定理紧致性定理; Keywords Lukasiewicz fuzzy propositional logic maximally consistent theory satisfiability theorem compactness theorem; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模态逻辑系统S5中极大相容理论的结构刻画被引量：1: 3; 作者李璧镜; 机构宝鸡文理学院数学系; 出处《电子学报》 EI CAS CSCD 北大核心 2014年第8期1551-1555,共5页; 基金国家自然科学青年基金(No.11001158) 宝鸡文理学院重点科研项目(No.ZK1047); 文摘在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.; 关键词模态逻辑极大相容理论存在状态状态描述; Keywords modal logic maximal consistent theory existing state state description; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名形式系统L＊中极大相容逻辑理论的拓扑刻画被引量：4: 4; 作者周红军; 机构陕西师范大学数学与信息科学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第12期2895-2899,共5页; 基金国家自然科学基金(No.61005046) 教育部高等学校博士学科点专项科研基金(No.20100202120012) +1 种基金中央高校基本科研业务费专项资金(No.GK200902048); 文摘进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.; 关键词形式系统L＊极大相容理论 Cantor空间三值拓扑; Keywords formal system L＊ maximally consistent theory Cantor space three-valued topology; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名逻辑系统NMG的满足性和紧致性被引量：7: 5; 作者周红军王国俊; 机构陕西师范大学数学与信息科学学院西安交通大学基础科学研究中心; 出处《软件学报》 EI CSCD 北大核心 2009年第3期515-523,共9页; 基金国家自然科学基金陕西师范大学优秀博士学位论文基金~~; 文摘紧致性是模糊逻辑的一个重要性质.现已经证明■ukasiewicz命题逻辑、Gdel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.; 关键词模糊逻辑逻辑系统NMG 极大相容理论满足性紧致性 Cantor空间; Keywords fuzzy logic logic system NMG maximally consistent theory satisifiability compactness Cantor space; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名经典命题逻辑中的一致结构与一致拓扑: 6; 作者罗清君王国俊; 机构陕西师范大学数学与信息科学学院西安财经学院统计学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第3期7-12,共6页; 基金国家自然科学基金资助项目(10771129 11171200); 文摘为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Γ在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词■与→关于导出的一致拓扑是连续的.得出了n个极大相容理论恰好将F(S)划分成2n个两两不交的非空区域,且每个区域在逻辑度量空间中的直径均为1.; 关键词命题逻辑一致结构一致拓扑极大相容理论; Keywords propositional logic uniformity uniform topology maximal consistent theory; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	系统L^＊中极大相容理论结构刻画的归纳证明	周红军王国俊	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2008	3	在线阅读下载PDF 职称材料
2	Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画	周红军	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2011	3	在线阅读下载PDF 职称材料
3	模态逻辑系统S5中极大相容理论的结构刻画	李璧镜	《电子学报》 EI CAS CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
4	形式系统L＊中极大相容逻辑理论的拓扑刻画	周红军	《电子学报》 EI CAS CSCD 北大核心	2011	4	在线阅读下载PDF 职称材料
5	逻辑系统NMG的满足性和紧致性	周红军王国俊	《软件学报》 EI CSCD 北大核心	2009	7	在线阅读下载PDF 职称材料
6	经典命题逻辑中的一致结构与一致拓扑	罗清君王国俊	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料