表列演算探究.pdf

1、表列演算是一種邏輯樣式，它非常符合人的直觀，并且能夠很好地將邏輯系統(tǒng)的證明論和語(yǔ)義學(xué)結(jié)合在一起，正引起人們?cè)絹?lái)越多的關(guān)注。
　　 首先，本文對(duì)表列演算的歷史發(fā)展做出簡(jiǎn)要梳理。表列演算的內(nèi)定理證明方法叫做表列方法，前者從后者發(fā)展而來(lái)，表列方法思想則來(lái)源于根岑，經(jīng)過(guò)貝特、欣迪卡等人的發(fā)展，最后在斯穆里安那里達(dá)到成熟，并逐步應(yīng)用到許多邏輯分支。
　　 其次，本文對(duì)經(jīng)典邏輯和非經(jīng)典邏輯的幾個(gè)表列系統(tǒng)做出詳細(xì)的闡述，并對(duì)它們的元邏

2、輯性質(zhì)進(jìn)行一定探討。一階邏輯表列演算完全性的證明顯示，表列系統(tǒng)與公理系統(tǒng)完全性的證明有著重要區(qū)別。另外，某表列系統(tǒng)是否具有匯合性對(duì)于其完全性證明也有重要影響。
　　 最后，本文對(duì)表列演算與矢列演算和自然演繹等做出比較，以揭示它們的各自優(yōu)劣。鑒于表列演算具有良好的通用性等其他邏輯樣式所沒(méi)有的優(yōu)點(diǎn)，新的表列系統(tǒng)必將不斷產(chǎn)生。此外，人們對(duì)非經(jīng)典邏輯定理自動(dòng)證明的興趣正促使表列方法成為一種重要工具，相信對(duì)某個(gè)邏輯分支的表列演算研究將會(huì)成