このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

Poly(C)の構成の方法 (5)シーケント推論規則

多圏 モノイド圏 論理
圏 論理
自己双対コンパクト閉圏 超コンパクト論理
モノイド閉圏 一般コンパクト論理
対称モノイド閉圏 対称コンパクト論理
デカルト閉圏 デカルト・コンパクト論理

デカルト・コンパクト論理が、直観論理の連言・含意フラグメント。

超コンパクト論理、×, I

  1. I導入、I消去
  2. ×導入（モノイド・ペアリング）
  3. マージ
  4. カット

一般コンパクト論理、×, I, -\circ, \circ-

  1. I導入、I消去
  2. ×導入（モノイド・ペアリング）
  3. -\circ導入、-\circ消去
  4. \circ-導入、\circ-消去
  5. マージ
  6. カット

対称コンパクト論理

  1. 一般コンパクト論理の規則全部
  2. 換規則

デカルト・コンパクト論理

  1. 対称コンパクト論理の規則全部
  2. ×消去
  3. 増規則