直観主義論理の完全性定理
#直観主義論理
直観主義論理の意味論
は色々ある.どの意味論に対して完全であるか?は良く区別しなければならない.
Index
直観主義命題論理のプライム性を用いたKripke完全性定理