本文關(guān)鍵詞：表列演算探究

  更多相關(guān)文章： 表列演算 表列規(guī)則 節(jié)點(diǎn) 封閉

【摘要】：表列演算是一種邏輯樣式,它非常符合人的直觀,并且能夠很好地將邏輯系統(tǒng)的證明論和語義學(xué)結(jié)合在一起,正引起人們?cè)絹碓蕉嗟年P(guān)注。 首先,本文對(duì)表列演算的歷史發(fā)展做出簡(jiǎn)要梳理。表列演算的內(nèi)定理證明方法叫做表列方法,前者從后者發(fā)展而來,表列方法思想則來源于根岑,經(jīng)過貝特、欣迪卡等人的發(fā)展,最后在斯穆里安那里達(dá)到成熟,并逐步應(yīng)用到許多邏輯分支。 其次,本文對(duì)經(jīng)典邏輯和非經(jīng)典邏輯的幾個(gè)表列系統(tǒng)做出詳細(xì)的闡述,并對(duì)它們的元邏輯性質(zhì)進(jìn)行一定探討。一階邏輯表列演算完全性的證明顯示,表列系統(tǒng)與公理系統(tǒng)完全性的證明有著重要區(qū)別。另外,某表列系統(tǒng)是否具有匯合性對(duì)于其完全性證明也有重要影響。 最后,本文對(duì)表列演算與矢列演算和自然演繹等做出比較,以揭示它們的各自優(yōu)劣。鑒于表列演算具有良好的通用性等其他邏輯樣式所沒有的優(yōu)點(diǎn),新的表列系統(tǒng)必將不斷產(chǎn)生。此外,人們對(duì)非經(jīng)典邏輯定理自動(dòng)證明的興趣正促使表列方法成為一種重要工具,相信對(duì)某個(gè)邏輯分支的表列演算研究將會(huì)成為與該邏輯分支本身的研究同樣重要的一環(huán)。
【關(guān)鍵詞】：表列演算 表列規(guī)則 節(jié)點(diǎn) 封閉
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2011
【分類號(hào)】：B812
【目錄】：

• 論文摘要6-7
• ABSTRACT7-9
• 序論 表列演算的歷史發(fā)展9-12
• 第1章 經(jīng)典命題邏輯的表列演算12-21
• 1.1 表列演算系統(tǒng)S_012-17
• 1.2 S_0的可靠性和完全性17-18
• 1.3 優(yōu)先策略18-21
• 第2章 經(jīng)典一階邏輯的表列演算21-36
• 2.1 語句表列21-24
• 2.2 語句表列的可靠性與完全性24-29
• 2.3 自由變?cè)砹?/span>29-33
• 2.4 子句表列33-36
• 第3章 模態(tài)命題邏輯的表列演算36-43
• 3.1 隱式表列演算36-38
• 3.2 顯式表列演算38-43
• 第4章 直覺主義邏輯的表列演算43-45
• 第5章 幾種演算系統(tǒng)的比較45-49
• 參考文獻(xiàn)49-51
• 后記51

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前1條

1 馮棉;;子結(jié)構(gòu)邏輯的研究方法與應(yīng)用前景[J];哲學(xué)動(dòng)態(tài);2007年06期

，

本文編號(hào)：936554