On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
From MaRDI portal
Publication:1906666
DOI10.1305/ndjfl/1040149353zbMath0835.03030OpenAlexW2056644980MaRDI QIDQ1906666
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
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