『情報科学における論理』

https://gyazo.com/9cd76793bf207b37b2c792f474f13287

1994/1/1

厳密な形式的な定義の他に、インフォーマルな直感的な説明が添えられているのが親切

この本の中で出てくる用語(言うほど特殊でもないが一応メモ)

セマンティクス

意味論のこと

シンタクス

構文論のこと

形式体系LK

1章

１　形式化ということ

２　命題と論理式

３　論理式と真偽

４　論理的に同値な論理式

6形式体系における証明

第２章　述語論理

２　述語論理の論理式

３　構造

４　恒真な論理式

８　一階の述語論理の拡張

４　導出原理──述語論理の場合

第4章 様相論理

２　いろいろな様相論理

３　クリプキによるセマンティクス

７　様相論理の周辺

第５章　直観主義論理

１　直観主義

３　直観主義論理のセマンティクス

７　構造規則を除いた論理

第６章　自然演繹の体系

２　直観主義論理に対する体系NJ

４　証明図の正規化