𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Ackermann approach for modal logic, correspondence theory and second-order reduction

✍ Scribed by Renate A. Schmidt

Book ID
116596942
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
316 KB
Volume
10
Category
Article
ISSN
1570-8683

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.