●前言
第一章 引言
1.1 信念修正
1.2 R-演算
1.3 R-演算的擴展
1.4 逼近的R-演算
1.5 R-演算的應用
參考文獻
第二章 基礎概念
2.1 命題邏輯
2.1.1 命題邏輯的語法和語義
2.1.2 Gentzen推導繫統G1
2.1.3 可靠性定理和完備性定理
2.2 一階邏輯
2.2.1 一階邏輯的語法和語義
2.2.2 Gentzen推導繫統GFOL
2.2.3 可靠性定理和完備性定理
2.3 描述邏輯
2.3.1 描述邏輯的語法和語義
2.3.2 Gentzen推導繫統GDL
2.3.3 完備性定理
參考文獻
第三章 命題邏輯的R-演算
3.1 極小改變
……