𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Intuitionistic Completeness Theorem for Classical Predicate Logic

✍ Scribed by Victor N. Krivtsov

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
177 KB
Volume
96
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Interpolation theorems for intuitionisti
Interpolation theorems for intuitionistic predicate logic
✍ G. Mints πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 137 KB

Craig interpolation theorem (which holds for intuitionistic logic) implies that the derivability of X; X β‡’ Y implies existence of an interpolant I in the common language of X and X β‡’ Y such that both X β‡’ I and I; X β‡’ Y are derivable. For classical logic this extends to X; X β‡’ Y; Y , but for intuitio

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.