「論理と計算のしくみ」を読んでいたら，シーケント計算の推論規則を ∧右，∨左，⊃左は additive ∧左，∨右 は multiplicative にすると命題論理では contraction が不要になるということを知りました。こういう組み合わせは証明論的にはだいぶ気持ち悪いよう…

Awodey 本の邦訳について，訳の質が低いという趣旨のレビューがついています。自分で確認したわけではないのですが，このレビュアーの書いていることを信じるならば，確かにあまり丁寧に訳されてはいないようだという印象は受けます。そこに挙げられている点…