On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic

DOI10.1305/ndjfl/1040149353zbMath0835.03030OpenAlexW2056644980MaRDI QIDQ1906666

Michael Makkai

Publication date: 4 February 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040149353

zbMATH Keywords

interpolation theoremintuitionistic logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Generalized interpolation in CASL ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic

Cites Work

• An application of open maps to categorical logic
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Semantical investigations in Heyting's intuitionistic logic
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Model theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• An extension of the Galois theory of Grothendieck
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic