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

发布时间：2017-10-18 01:48

  本文关键词：经典命题逻辑中的一致结构与一致拓扑

  更多相关文章： 命题逻辑 一致结构 一致拓扑 极大相容理论

【摘要】：为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Γ在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词■与→关于导出的一致拓扑是连续的.得出了n个极大相容理论恰好将F(S)划分成2n个两两不交的非空区域,且每个区域在逻辑度量空间中的直径均为1.
【作者单位】： 陕西师范大学数学与信息科学学院;西安财经学院统计学院;
【关键词】： 命题逻辑 一致结构 一致拓扑 极大相容理论
【基金】：国家自然科学基金资助项目(10771129,11171200)
【分类号】：O141.1
【正文快照】： 近年来,借用拓扑工具描述逻辑问题已经成为一种新的研究方法.如文献[1]给出经典命题逻辑中相容理论的拓扑刻画,文献[2]清晰地刻画了二值命题逻辑中极大相容理论的结构并在全体极大相容理论之集上构建拓扑,得出该拓扑空间与Cantor三分集同胚的结果.继而,文献[3]将这一方法推广

【参考文献】

中国期刊全文数据库 前6条

1 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

2 王冰;庞斌;;模糊化拟一致结构导出的拓扑[J];模糊系统与数学;2012年05期

3 周红军;;R_0-代数上的滤子拓扑空间[J];山东大学学报(理学版);2012年04期

4 王国俊;王伟;宋建社;;命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集[J];陕西师范大学学报(自然科学版);2007年02期

5 周红军;;Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画[J];陕西师范大学学报(自然科学版);2011年01期

6 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

【共引文献】

中国期刊全文数据库 前10条

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

2 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期

3 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期

4 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

5 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

6 阚婷;张兴芳;马成芬;;带参数的L_p系统中的逻辑度量结构[J];燕山大学学报;2009年04期

7 张小红;祝峰;;Rough逻辑系统RSL与模糊逻辑系统Luk[J];电子科技大学学报;2011年02期

8 卢延鑫;;谓词逻辑在关系数据库中的应用[J];电脑知识与技术(学术交流);2007年17期

9 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

10 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

中国重要会议论文全文数据库 前3条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

3 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

中国博士学位论文全文数据库 前10条

1 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

3 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

4 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

5 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

6 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

7 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

8 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

9 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

10 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年

中国硕士学位论文全文数据库 前10条

1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

2 张保垒;表列演算探究[D];华东师范大学;2011年

3 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

4 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

5 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年

6 王志明;WBR_0代数的研究[D];陕西师范大学;2011年

7 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

8 张金凤;R_0代数的两类特殊元及其应用[D];陕西师范大学;2011年

9 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年

10 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

【二级参考文献】

中国期刊全文数据库 前10条

1 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

3 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

4 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

5 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

6 裴道武;形式演绎系统L~*中的懔运算与演绎定理[J];模糊系统与数学;2001年01期

7 程国胜;R_0代数中的滤子与理想[J];模糊系统与数学;2001年01期

8 苏忍锁,王国俊;R_0代数的Fuzzy MP滤子[J];模糊系统与数学;2004年02期

9 周红军;王国俊;;R_0-代数上的Fuzzy同余关系[J];模糊系统与数学;2005年04期

10 周红军;王国俊;;系统L~*中极大相容理论的结构刻画和紧致性定理[J];模糊系统与数学;2008年04期

【相似文献】

中国期刊全文数据库 前10条

1 闵兰;刘益;;奇偶校验自动机的逻辑形式描述[J];西南师范大学学报(自然科学版);2009年03期

2 杨晓斌,薛贤铭;连续值逻辑系统中的代换定理[J];山东理工大学学报(自然科学版);2003年01期

3 张广学;;命题逻辑中代数学的影子[J];现代电子技术;2008年04期

4 王静;;离散数学教学中关于命题符号化问题的讨论[J];科技信息(科学教研);2008年25期

5 苏岐芳,苏雅春;命题逻辑中的可表性[J];松辽学刊(自然科学版);1997年04期

6 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

7 邓春燕;郑涵;林芳;;离散数学中数理逻辑的教学探讨[J];河池学院学报;2010年S1期

8 邓少波;;粒及粒命题逻辑[J];科技广场;2011年03期

9 阿特罗·萨加利,聂建中;从思维规律到计算机逻辑[J];科学技术与辩证法;1990年02期

10 王庆丰,赵开立,杨学锋,陈献跃;学好命题逻辑的关键是真值表的使用[J];辽宁教育行政学院学报;2003年09期

中国重要会议论文全文数据库 前10条

1 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

3 李丹菁;陶振麟;;在预测控制中使用命题逻辑及其应用[A];2001中国控制与决策学术年会论文集[C];2001年

4 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 夏梦;;逻辑真理的特点[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

6 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

7 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

8 孙炳哲;;《肇论》对时空真假的认识——以《物不迁论》与《不真空论》为中心的探讨[A];诠释与建构——汤一介先生75周年华诞暨从教50周年纪念文集[C];2001年

9 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

10 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

中国重要报纸全文数据库 前10条

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

2 佟佳芳;奋斗攻关四十载 自主创新结硕果[N];科技日报;2009年

3 高南生（作者单位：秦安县教师进修学校）;中学数学学习指南[N];甘肃日报;2005年

4 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

5 陈波;逻辑学与理性精神[N];光明日报;2003年

6 贾春华 王永炎;“方证论治系统”原理论思考[N];中国中医药报;2006年

7 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

8 哲科;哲学所举办第二届青年学术论坛[N];中国社会科学院院报;2008年

9 林圭;固有不然必无不至[N];人民日报海外版;2001年

10 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

中国博士学位论文全文数据库 前10条

1 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

2 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年

3 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

4 殷明浩;自动推理和智能规划中若干问题研究[D];吉林大学;2008年

5 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

6 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

7 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

8 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年

9 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

10 田忠锋;形式逻辑前提批判[D];吉林大学;2008年

中国硕士学位论文全文数据库 前10条

1 吴纯兴;Lω一致结构理论[D];集美大学;2012年

2 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院（软件研究所）;2004年

3 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

4 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

5 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年

6 刘加昆;转折句“p∧q”的逻辑分析[D];广西师范大学;2007年

7 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

8 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

9 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

10 郝璐璐;命题信念集的非修正处理方法研究[D];大连海事大学;2013年

，

本文编号：1052269