generated at
『情報科学における論理』
1994/1/1

心地の良い難易度という感じがするmrsekut
厳密な形式的な定義の他に、インフォーマルな直感的な説明が添えられているのが親切




この本の中で出てくる用語(言うほど特殊でもないが一応メモ)
セマンティクス
意味論のこと
シンタクス
構文論のこと
形式体系LK


1章

1 形式化ということ
2 命題と論理式
3 論理式と真偽
4 論理的に同値な論理式

6形式体系における証明


第2章 述語論理
2 述語論理の論理式
3 構造
4 恒真な論理式
5 古典述語論理のシークエント計算
8 一階の述語論理の拡張

第3章 エルブランの定理と導出原理
3 導出原理──命題論理の場合
4 導出原理──述語論理の場合



第4章 様相論理
2 いろいろな様相論理
3 クリプキによるセマンティクス
7 様相論理の周辺


第5章 直観主義論理
1 直観主義
2 直観主義論理の体系
3 直観主義論理のセマンティクス
7 構造規則を除いた論理

第6章 自然演繹の体系
1 自然演繹の考え方
2 直観主義論理に対する体系NJ
3 古典論理に対する体系
4 証明図の正規化