↓これの続き cut-elimination.hatenablog.com これまで「超越論的シンタクスは難しい！」と書いてきた。ではなぜ難しいのか、考えてみたい。 まず、そもそもジラール先生の論文は昔からかなり難しい。難しいというより読みにくい。論理学のテクニカルな部分…