この記事は書きかけ、書き上がったら本編に投稿してここからは削除。「演繹系とオペラッド」で述べたように、演繹系とはオペラッド〈複圏〉の生成系です。考察すべき対象物は、演繹系そのものより、演繹系で生成された自由オペラッドです。論理では、「どん…

この記事は書きかけ、書き上がったら本編に投稿してここからは削除。モノ達を1：1に置き換えることが置換です。モノが名前だとすれば、置換は名前達をリネームすることになります。項・式のなかに登場する名前達を系統的にリネームすることがアルファ変換で…

まだ未完成、出来上がったら本編に移します。 いきなりですが、“自然演繹の証明図”風の図の例を2つ挙げます。 A B ------- A∧B A --- A そして、“シーケント計算の証明図”風の図の例も2つ： A → B B → C --------------- A → C ☆ ------- A → A これらの図は…