m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 用語法 オリジナルのゲンツェンLKでは、 公理は一種類（1パターン） 推論規則は左右それぞれ10種で合計20種 Cutが一種 合計で21種の推論規則 LK改では、 id:A ↔ A !:A → T π[1]:A, B → A π[2]:A, B → B Δ:A ↔ A, A α:A, B, C ↔ A, B, C （注記参照） λ:T, A ↔ A ρ:A, T ↔ A σ:A, B ↔ B, A γ:A, B ↔ A∧B αは何もしないので除外。π[1], π[2]はまとめてπとカウント、可逆な場合は2つとしてカウント、idとσは逆にしても変わらないので1つとカウント。このカウント法で12種。双対、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181119%2F1542620529" title="LK改の説明：ハイパードクトリン的な解釈 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-11-19 18:42:09 rich https://m-hiyama-memo.hatenablog.jp/entry/20181119/1542620529 1.0 100%