古典命題線形論理/相意味論の完全性定理と意味論的カット除去

　やりました。

drive.google.com

　 のところがもう少し上手く書けないものかという感じがあるけれどまあまあまあ（追記：直してみました）。

 （追記）いろいろ間違いや不備が見つかっているのであまり信じないように。

The Blind Spot: Lectures on Logic

Le Fantôme de la Transparence