Lambda-calculus, types and models
Lambda-calculus, types and models
Extensions of first order logic
Extensions of first order logic
Programming with Proofs: A Second Order Type Theory
ESOP '88 Proceedings of the 2nd European Symposium on Programming
On the translation from quantified modal logic into the counterpart theory revisited
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Hi-index | 5.23 |
We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.