本文選題：語義表列 + 模態(tài)邏輯��； 參考：《湖南科技大學(xué)學(xué)報(社會科學(xué)版)》2009年01期

【摘要】：表列適于作為模態(tài)定理機器證明的基礎(chǔ)。在破壞性模態(tài)表列的基礎(chǔ)上,構(gòu)造分析性模態(tài)公理系統(tǒng),這種公理系統(tǒng)的定理很容易證明,因此也適于作為模態(tài)定理機器證明的基礎(chǔ)。沿著安德森等人開創(chuàng)的方向,將分析性公理系統(tǒng)的應(yīng)用從經(jīng)典邏輯推廣到模態(tài)邏輯。稱一個公理系統(tǒng)是分析的,即它的每一推理規(guī)則的前提和結(jié)論中的命題變元相同。為了便于表述這種系統(tǒng)中的公理,可以先定義一種廣義謝弗豎[;],給出模態(tài)表達式的一種新記法,以此改進現(xiàn)有的破壞性模態(tài)表列,并以這種改進的結(jié)果為基礎(chǔ)構(gòu)造分析性模態(tài)公理系統(tǒng)。
[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.
【作者單位】： 清華大學(xué)哲學(xué)系;
【分類號】：B815.1

【參考文獻】

相關(guān)期刊論文 前2條

1 劉瑞勝,孫吉貴,劉敘華;認識邏輯(3):基于語義tableau的證明理論[J];計算機學(xué)報;1998年S1期

2 張清宇;經(jīng)典命題邏輯的一個公理系統(tǒng)[J];哲學(xué)研究;1997年08期

【共引文獻】

相關(guān)博士學(xué)位論文 前3條

1 劉新文;系統(tǒng)Z的量化擴張及其對話語表現(xiàn)理論的處理[D];中國社會科學(xué)院研究生院;2002年

2 劉全;基于tableau的自動推理研究[D];吉林大學(xué);2004年

3 吳瑕;基于擴展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

【二級參考文獻】

相關(guān)期刊論文 前3條

1 劉瑞勝,孫吉貴,劉敘華;認識邏輯(1):關(guān)于知識和信念的邏輯框架[J];計算機學(xué)報;1998年07期

2 劉瑞勝,孫吉貴,劉敘華;認識邏輯(2):多認識主體的認識邏輯MEL[J];計算機學(xué)報;1998年07期

3 張清宇;不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J];哲學(xué)研究;1995年05期

【相似文獻】

相關(guān)期刊論文 前10條

1 張力鋒;;論模態(tài)邏輯的合法性——對蒯因式模態(tài)詞解讀的批判考察[J];學(xué)術(shù)研究;2006年09期

2 裘江杰;;基礎(chǔ)認知詞模態(tài)邏輯[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2009年04期

3 沈潔;;現(xiàn)代模態(tài)邏輯對必然性的刻畫[J];東南大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2006年S1期

4 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的自然推理系統(tǒng)之比較[J];湖南科技學(xué)院學(xué)報;2008年09期

5 姚從軍;;走進模態(tài)邏輯的互模擬[J];科學(xué)技術(shù)哲學(xué)研究;2010年03期

6 董英東;;模態(tài)邏輯發(fā)展歷史概述[J];燕山大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2010年02期

7 朱建平;;布爾和賽格貝格論模態(tài)邏輯的三大傳統(tǒng)[J];山東理工大學(xué)學(xué)報(社會科學(xué)版);2010年04期

8 劉張華;;可及關(guān)系的哲學(xué)分析[J];東方論壇;2011年01期

9 張明德,陳文江;休謨歸納問題:一個新模態(tài)邏輯語義解[J];華東理工大學(xué)學(xué)報(社會科學(xué)版);2002年04期

10 婁永強;;模態(tài)邏輯的信息框架[J];晉中學(xué)院學(xué)報;2008年06期

相關(guān)會議論文 前4條

1 楚白;;有窮深度的模態(tài)邏輯[A];2005年邏輯研究專輯[C];2005年

2 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專輯[C];1994年

3 潘天群;;建立在“笛卡爾公理”上的一個懷疑邏輯系統(tǒng)[A];邏輯與認知學(xué)術(shù)研討會會議論文集[C];2004年

4 高思存;;一個刻畫n叉有限樹的模態(tài)系統(tǒng)及其應(yīng)用[A];2005年邏輯研究專輯[C];2005年

相關(guān)重要報紙文章 前1條

1 陳慕澤;多主體系統(tǒng)中的互知[N];光明日報;2000年

相關(guān)博士學(xué)位論文 前4條

1 史t，

本文編號：1928085