合并逻辑方法的研究

《合并逻辑方法的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、南开大学学位论文使用授权书根据《南开大学关于研究生学位论文收藏和利用管理办法》，我校的博士、硕士学位获得者均须向南开大学提交本人的学位论文纸质本及相应电子版。本人完全了解南开大学有关研究生学位论文收藏和利用的管理规定。南开大学拥有在《著作权法》规定范围内的学位论文使用权，即：(1)学位获得者必须按规定提交学位论文(包括纸质印刷本及电子版)，学校可以采用影印、缩印或其他复制手段保存研究生学位论文，并编入《南开大学博硕士学位论文全文数据库》；(2)为教学和科研目的，学校可以将公开的学位论文作为资料在图书馆等场

2、所提供校内师生阅读，在校园网上提供论文目录检索、文摘以及论文全文浏览、下载等免费信息服务；(3)根据教育部有关规定，南开大学向教育部指定单位提交公开的学位论文；(4)学位论文作者授权学校向中国科技信息研究所和中国学术期刊(光盘)电子出版社提交规定范围的学位论文及其电子版并收入相应学位论文数据库，通过其相关网站对外进行信息服务。同时本人保留在其他媒体发表论文的权利。非公开学位论文，保密期限内不向外提交和提供服务，解密后提交和服务同公开论文。论文电子版提交至校图二

3、二5馆网站：h邯：／／202．113．20．

4、161：8001／index．htm。本人承诺：本人的学位论文是在南开大学学习期间创作完成的作品，并已通过论文答辩；提交的学位论文电子版与纸质本论文的内容一致，如因不同造成不良后果由本人自负。本人同意遵守上述规定。本授权书签署一式两份，由研究生院和图二

5、：：}馆留存。作者暨授权人签字：迢廛这2010年5月30日南开大学研究生学位论文作者信息论文题目合并逻辑方法研究2010年5月28姓名冯彦波学号1120050450答辩日期日论文类别博士一学历硕士口硕士专业学位口高校教师口同等学力硕士口院{系惭哲学系专业逻

6、辑学．?、联系电话13820527254’j．。Ema¨√、Ⅳb1972@126．∞m通信地址(邮编)：南开大学哲学系备注：是否批准为非公开论文否注：本授权书适用我校授予的所有博士、硕士的学位论文。由作者填写(一式两份)签字后交校图书馆，非公开学位论文须附《南开大学研究生申请非公开学位论文审批表》。南开大学学位论文原创性声明本人郑重声明：所呈交的学位论文，是本人在导师指导下进行研究工作所取得的研究成果。除文中已经注明引用的内容外，本学位论文的研究成果不包含任何他人创作的、已公开发表或者没有公开发表的作品的

7、内容。对本论文所涉及的研究工作做出贡献的其他个人和集体，均已在文中以明确方式标明。本学位论文原创性声明的法律责任由本人承担。学位论文作者签名：塑彦遮2010年5月30日非公开学位论文标注说明根据南开大学有关规定，非公开学位论文须经指导教师同意、作者本人申请和相关部门批准方能标注。未经批准的均为公开学位论文，公开学位论文本说明为空白。论文题目申请密级口限制(≤2年)口秘密(≤10年)口机密(≤20年)保密期限20年月日至20年月日审批表编号批准日期20年月日限制★2年(最长2年，可少于2年)秘密★10年(最

8、长5年，可少于5年)机密★20年(最长10年，可少于10年)中文摘要合并逻辑(CombillingLogic)，又称为逻辑的合并(CombinationofLogics)，是“当代逻辑的理论和应用研究中最令人感兴趣的题目之一。”1以《哲学逻辑手册》的主编Dov．M．Gabby为首的众多学者对它进行了研究，并取得了重要的成果。它在哲学、逻辑学、语言学、人工智能与计算机科学等方面有着重要的理论和应用价值，并使逻辑成为一个更有力的工具。最初，合并逻辑出现在模态逻辑的环境中。因此，许多方法被特别地创造出来一方面模

9、型化(model)克瑞普克结构的合并，另一方面模型化公理系统的合并，尽管现在它们被应用于大量的模型论和证明论概念。MarceloFinger和DoV．M．Gabby1992年发表“AddingaTemporalDimensiontoaLooicSystem”2一文，首次提出了时间化(Temporalization)方法；1996年二人又发表论文“CombiningTemporalLogicSystems”，论述了时间逻辑系统与时间逻辑系统的合并，即将两个一维时间逻辑系统合并从而得到～个二维的时间逻辑系统。

10、后来，MarceloFinger对这个问题进行了更深入地研究，于2002年发表‘‘TheUnrestrictedCombiningofTemporalLogicSvstems”一文，把关于线性时问流逻辑系统的合并推广到任意时间流。时间化方法不是任意合并两种逻辑，而是把一逻辑系统镶嵌在时间逻辑系统之中，外在地为该逻辑系统增加时间特征，把它的不同状态与不同的时刻联系起来，从而刻画该系统中的理论和模型在时间上的发展变化。这种方法部分