Semantic proof of the craig interpolation theorem for intuitionistic logic and extensions. part I

Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'Semantic proof of the craig interpolation theorem for intuitionistic logic and extensions. part I'. Together they form a unique fingerprint.

Mathematics

Keyphrases