๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic

โœ Scribed by Wim Veldman

Book ID
124972984
Publisher
Association for Symbolic Logic
Year
1976
Tongue
English
Weight
221 KB
Volume
41
Category
Article
ISSN
0022-4812

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