多值命题逻辑中若干逻辑理论的拓扑刻画

发布时间：2017-11-22 09:33

  本文关键词：多值命题逻辑中若干逻辑理论的拓扑刻画

  更多相关文章： 真度 逻辑度量空间 相容性 闭逻辑理论 闭集

【摘要】： 数理逻辑的特点在于形式化和符号化,它和计算数学有着截然不同的风格,前者注重形式推理,而后者注重数值计算;前者强调严格论证,而后者允许近似求解,如果说数理逻辑具有刻板的一丝不苟的形象,那么计算数学具有灵活的张驰有度的特征.一个自然的问题是:能不能把数值计算的思想融入到数理逻辑当中以使其具有某种灵活性,从而扩大其可能的应用范围呢?回答是肯定的.王国俊教授从基本概念的程度化入手,建立了一种计量逻辑学,从而对上述问题给出了肯定的回答. 计量逻辑学所涉及的逻辑系统包括经典的二值命题逻辑系统L,Lukasiewiczn值命题逻辑系统L_n与连续值命题逻辑系统Luk,和命题演算系统L~*及其n值扩张L_n~*等.王国俊教授在命题逻辑中,将重言式概念进行了程度化,引入了公式的真度概念,在此基础上,将逻辑等价概念程度化,引入了公式之间的相似度概念;并从而在全体公式集F(S)上引入了伪距离,得到了度量空间(F(S),ρ).另一方面,王国俊教授与折延宏在经典二值命题逻辑L中讨论了理论的发散性与相容性等逻辑性质与它们在空间(F(S),ρ)中的拓扑性质之间的联系,那么在复杂的多值Lukasiewicz命题逻辑中这些问题是怎样的呢?我们进行了一些研究. 本文的主要结论如下: (1)首先给出了命题逻辑系统中理论的根的一些性质以及系统L_n中有限理论Γ的根的形式.其次在全体公式集F(S)上引入伪距离ρ_(L_n),从而得到一个度量空间(F(S),ρ_(L_n)).然后在三值系统L_3中证明了一个逻辑理论Γ是全发散的当且仅当Γ的全体结论之集D(Γ)在逻辑度量空间(F(S),ρ_(L_3))中稠密.最后将此结论推广到n值系统L_n中. (2)在系统L_3中讨论了逻辑中的闭逻辑理论和拓扑中的闭集的关系,证明了任一有限闭逻辑理论在逻辑度量空间(F(S),ρ_(L_3))中是闭集.然后推出了任一有根的闭逻辑理论在逻辑度量空间(F(S),ρ_(L_3))中也是闭集.最后在更复杂的系统L_n中证明这些结论也是成立的.
【学位授予单位】：陕西师范大学
【学位级别】：硕士
【学位授予年份】：2008
【分类号】：O141.1

【相似文献】

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

1 左卫兵;张嘎;;一种五元格值逻辑上命题真度的分布[J];计算机工程与应用;2011年22期

2 张凤姣;张兴芳;;G銉del逻辑系统中公式真度判断方法[J];聊城大学学报(自然科学版);2011年01期

3 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

4 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

5 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期

6 张乐;裴道武;王三民;;系统馊_n~*的逻辑性质及其应用[J];高校应用数学学报A辑;2011年02期

7 王廷明;;有限理论结论基于根的余式和结论集的表示[J];青岛大学学报(自然科学版);2011年02期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

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

5 赵钢;邹彬;张剑;;基于模糊规则集的入侵检测模型——网络与信息安全事件处理[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

6 高伟俊;;系统仿真技术在电力系统中的应用[A];1998年上海市系统仿真学会学术年会论文专辑[C];1998年

7 邱小杉;何宁;董峰;魏长华;;基于模糊推理的法医人体骨骼个人识别专家系统:RLXES[A];1998年中国智能自动化学术会议论文集（上册）[C];1998年

8 李茂青;;MIS与DSS中的广义模糊检索及其实现[A];1993中国控制与决策学术年会论文集[C];1993年

9 刘志洪;顾宁;;制造业设计知识的模糊分类[A];全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集[C];2004年

10 王国俊;;模糊推理的全蕴涵三Ⅰ算法[A];面向21世纪的科技进步与社会经济发展（上册）[C];1999年

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

1 王苏伊 王立嘉;想在北京买假名牌难了[N];市场报;2005年

2 小马;走近LCD[N];中国电脑教育报;2002年

3 金娜;皮装选购有诀窍[N];大众科技报;2000年

4 $$点评嘉宾 首都经贸大学经济研究所教授 $$吴少平 北大经济系教授 钟伟 $$本版采写 刘凌林;利润水分怎么挤？[N];中国企业报;2001年

5 吴挺;进军专业绘图市场[N];计算机世界;2003年

6 周燕虎 本报特约通讯员 项志明;信息技术让火炮“走”进实验室[N];解放军报;2005年

7 记者 齐中熙;会计五假太可怕[N];新华每日电讯;2001年

8 石小宏;信息化叫板传统教学[N];四川日报;2003年

9 中新;国产葡萄酒企业亮出质量牌[N];中国消费者报;2001年

10 Tom Nousaine 著 徐学楷译;五部“地震式”超低音[N];信息时报;2000年

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

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

2 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

3 王谷亮;DNA聚合酶β在烷化剂MNNG引起的非定标性突变中的作用[D];浙江大学;2002年

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

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

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

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

2 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

3 李海亚;n值SMTL系统中命题的∑-（[α，，β]-真度）理论[D];兰州理工大学;2012年

4 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

5 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

6 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年

7 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

8 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

9 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

10 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

本文编号：1214276