Articles記事一覧2023/11/05様相論理: 可能世界意味論(1階述語論理)2023/11/03様相論理: 可能世界意味論(命題論理)2023/05/09直観主義論理: 可能世界意味論に関する完全性定理2023/05/07直観主義論理: 証明論2022/10/08純粋型システムとλキューブ2022/09/14直観主義論理: 可能世界意味論(1階述語論理)2022/09/08直観主義論理: 可能世界意味論(命題論理)2022/09/07表記法など