命題論理の魔導書
- ダウンロード商品¥ 600
直観主義命題論理と古典命題論理の証明論と意味論の入門的内容を纏めた魔導書.証明論の部では,証明体系をプログラム言語の型システムとして導入し,正規化定理やGlivenkoの定理などの基本定理をプログラム的な意味に沿った自然な形で証明する。意味論の部では,命題論理の論理式を代数系の項(式)と同一視するというアイデアに基づく代数的意味論と,或る種の空間の中の図形と同一視するアイデアに基づく位相的意味論とを主に扱う.また,タブロー法,Kripke意味論,ゲーム意味論の健全性・完全性を証明する.矛盾許容論理や量子論理などの非古典論理も代数的な観点から簡単に紹介する. キーワード:命題論理,ラムダ計算,コンビネータ論理,自然演繹,Hilbert計算,推件計算,タブロー法,古典論理,直観主義論理,Gödel–Dummett論理,代数的意味論,位相的意味論,Kripke意味論,ゲーム意味論
目次
I. 証明論 1. ラムダ計算 2. 自然演繹 3. 推件計算 4. コンビネータ論理 5. 命題計算 II. 意味論 6. 二値意味論と集合値意味論 7. 束と位相空間 8. 代数的意味論 9. 位相的意味論 10. ゲーム意味論 参考文献 更新履歴
書籍情報
バージョン:12(最終更新日時:2022/1/5) ページ数:90
注意事項
・常に書きかけの状態にあるため,証明が途中で途切れているなど,不完全な箇所を含みます.すなわち,本として完成した形ではありません. ・購入した方はBOOTHを通して最新版をダウンロードできます.古いバージョンはダウンロードできなくなります.過去バージョンを提供するか否かは検討中です. ・既に購入した方は,ページ数の増加に伴い価格が改訂されても,増額分を新たに支払う必要はありません.ただし,ページ数の減少に伴い価格が改訂されても,減額分は返金されません. ・本書データはGithubに於いても購入者にのみ限定公開されています.アクセス権を希望する方はGithubアカウント名および購入者であることを証明する情報(例.注文番号と注文日時の対)をお送りください.これらの情報は,申請者が正規の購入者であることを確認し,Githubの当該リポジトリに招待する目的以外には使用しません.