2022-03-01から1ヶ月間の記事一覧

直観主義論理入門編

ふと思いついて直観主義命題論理のクリプキ意味論に対する完全性定理の証明ができたのでせっかくなのでpdfにまとめました。直観主義論理のクリプキモデルはだいぶ前に勉強したことがあったんですが完全性定理の証明はあまりちゃんと追ってなかったので今回…