表列演算探究.pdf

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

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