2019-02-16から1日間の記事一覧

タブローとシークエント計算

論理学

タブローはシークエント計算の特殊例にすぎない、という話を昔聞いたことがある。一体どういうことだろう、と長いこと理解できないでいたのだが、最近になって、こういうことかな、と勝手に自己解決したのでちょっとメモしてみる。古典論理のシークエント計…