𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An improved refutation system for intuitionistic predicate logic

✍ Scribed by Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi

Publisher
Springer Netherlands
Year
1994
Tongue
English
Weight
843 KB
Volume
13
Category
Article
ISSN
0168-7433

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