✦ LIBER ✦

Krivine's intuitionistic proof of classical completeness (for countable languages)

✍ Scribed by Stefano Berardi; Silvio Valentini

Book ID: 108054565
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 240 KB
Volume: 129
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.01.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simple proof of the completeness theorem

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

✍ Karim Nour; Christophe Raffalli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 241 KB

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.