✦ LIBER ✦

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

✍ Scribed by Karim Nour; Christophe Raffalli

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 241 KB
Volume: 308
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00731-4

No coin nor oath required. For personal study only.

✦ Synopsis

We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the ÿrst-order one. We also extend our method to the case of second-order intuitionistic logic.