直観主義論理入門編

ふと思いついて直観主義命題論理のクリプキ意味論に対する完全性定理の証明ができたのでせっかくなのでpdfにまとめました。

直観主義論理のクリプキモデルはだいぶ前に勉強したことがあったんですが完全性定理の証明はあまりちゃんと追ってなかったので今回まとめられてよかったです。

モナドやったら次はトポスやるとか言ってた気がするんですが気のせいですかね。