m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 続・カリー／ハワード／ランベック対応の辞書 矢印の混乱に対処する： デカルト閉圏のための記法 上記2つの記事で述べた内容を組み合わせて、記述を追加します。論理でいう「推論規則」は種類が違うものをゴッチャにしています。導入規則〈introduction rule〉と除去規則〈elimination rule〉のあいだに対称性はありません。対称といえる部分でも、その対称性が「双対性か可逆性か随伴性か」の区別を付けてなくて曖昧です。このへんのこと（自然演繹への悪口）は次の過去記事に書いています。 自然演繹はちっとも自然じゃない -- 圏論による再考 カリー／ハワード／ランベック対応を通して見れば、自… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2023%2F02%2F13%2F162836" title="カリー／ハワード／ランベック対応の辞書： 推論規則再論 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2023-02-13 16:28:36 rich https://m-hiyama.hatenablog.com/entry/2023/02/13/162836 1.0 100%