(新) 檜山正幸のキマイラ飼育記メモ編

圏論と論理、カリー／ハワード過去記事リンク

リンク半形式証明スクリプト論理

演繹可能性メタ命題 - (新) 檜山正幸のキマイラ飼育記メモ編で参照した過去記事達（新しい順）：

互換な演繹システムとシーケント、そして矢印記号 - 檜山正幸のキマイラ飼育記 (はてなBlog) 演繹定理
論理／メタ論理の記法をどうするか 2: 悟りへの道 - 檜山正幸のキマイラ飼育記 (はてなBlog) 含意記号、類似の矢印記号リーズニングの図示
論理／メタ論理の記法をどうするか - 檜山正幸のキマイラ飼育記 (はてなBlog) 証明可能性、意味的帰結の書き方
論理におけるさまざまな「矢印」達 - 檜山正幸のキマイラ飼育記 (はてなBlog) 用語はこれにだいたい従う。
さまざまな「ならば」達 - 檜山正幸のキマイラ飼育記 (はてなBlog) 「ならば」の諸相
伴意＜ばんい＞から含意＜がんい＞へ - 檜山正幸のキマイラ飼育記 (はてなBlog) 昔
含意＜がんい＞から伴意＜ばんい＞へ - 檜山正幸のキマイラ飼育記 (はてなBlog) 昔

以上は主に矢印記号関係。なんでコレだけだったんだろう？自然演繹関係は：

アニメーションとしての証明 - 檜山正幸のキマイラ飼育記 (はてなBlog) アニメーション
論理の存在記号∃をちゃんと使えるようになろう - 檜山正幸のキマイラ飼育記 (はてなBlog) ボックスの使用法、例題あり
有限集合とは何だろう（ストーリー付き練習問題集） - 檜山正幸のキマイラ飼育記 (はてなBlog) 例題、バックワードリーズニングも
存在記号の除去規則について考える - 檜山正幸のキマイラ飼育記 (はてなBlog) ボックス
全称記号の導入規則について考える - 檜山正幸のキマイラ飼育記 (はてなBlog) ボックス
自然演繹の再構築への道 - 檜山正幸のキマイラ飼育記 (はてなBlog) 再構築への道、再構築できてねーなー
自然演繹はちっとも自然じゃない -- 圏論による再考 - 檜山正幸のキマイラ飼育記 (はてなBlog) 自然演繹へのクレーム

圏論的な論理は：

カリー／ハワードとかセミナーとか：