基于破坏性表列的模态公理系统

发布时间：2018-05-24 06:45

  本文选题：语义表列 + 模态逻辑　； 参考：《湖南科技大学学报(社会科学版)》2009年01期

【摘要】：表列适于作为模态定理机器证明的基础。在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础。沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模态逻辑。称一个公理系统是分析的,即它的每一推理规则的前提和结论中的命题变元相同。为了便于表述这种系统中的公理,可以先定义一种广义谢弗竖[;],给出模态表达式的一种新记法,以此改进现有的破坏性模态表列,并以这种改进的结果为基础构造分析性模态公理系统。
[Abstract]:The table is suitable to be used as the basis for the machine proof of modal theorems. On the basis of the destructive modal table, an analytical modal axiom system is constructed. The theorem of this axiom system is easy to prove, so it is also suitable for the machine proof of modal theorem. The application of analytical axioms is extended from classical logic to modal logic in the direction of Anderson et al. An axiomatic system is said to be analytical, that is to say, the premises and propositional variables in each of its reasoning rules are the same. In order to express the axiom in this system, we can define a generalized Schaefer vertical [;], and give a new notation of modal expression to improve the existing destructive modal table. Based on the improved results, an analytical modal axiom system is constructed.
【作者单位】： 清华大学哲学系;
【分类号】：B815.1

【参考文献】

相关期刊论文 前2条

1 刘瑞胜,孙吉贵,刘叙华;认识逻辑(3):基于语义tableau的证明理论[J];计算机学报;1998年S1期

2 张清宇;经典命题逻辑的一个公理系统[J];哲学研究;1997年08期

【共引文献】

相关博士学位论文 前3条

1 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年

2 刘全;基于tableau的自动推理研究[D];吉林大学;2004年

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

【二级参考文献】

相关期刊论文 前3条

1 刘瑞胜,孙吉贵,刘叙华;认识逻辑(1):关于知识和信念的逻辑框架[J];计算机学报;1998年07期

2 刘瑞胜,孙吉贵,刘叙华;认识逻辑(2):多认识主体的认识逻辑MEL[J];计算机学报;1998年07期

3 张清宇;不用联结词的经典命题逻辑系统[J];哲学研究;1995年05期

【相似文献】

相关期刊论文 前10条

1 张力锋;;论模态逻辑的合法性——对蒯因式模态词解读的批判考察[J];学术研究;2006年09期

2 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期

3 沈洁;;现代模态逻辑对必然性的刻画[J];东南大学学报(哲学社会科学版);2006年S1期

4 姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期

5 姚从军;;走进模态逻辑的互模拟[J];科学技术哲学研究;2010年03期

6 董英东;;模态逻辑发展历史概述[J];燕山大学学报(哲学社会科学版);2010年02期

7 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期

8 刘张华;;可及关系的哲学分析[J];东方论坛;2011年01期

9 张明德,陈文江;休谟归纳问题:一个新模态逻辑语义解[J];华东理工大学学报(社会科学版);2002年04期

10 娄永强;;模态逻辑的信息框架[J];晋中学院学报;2008年06期

相关会议论文 前4条

1 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

2 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

3 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

4 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

相关重要报纸文章 前1条

1 陈慕泽;多主体系统中的互知[N];光明日报;2000年

相关博士学位论文 前4条

1 史t，

本文编号：1928085