Craig interpolation theorem for intuitionistic logic and extensions Part III

DOI10.2307/2272129zbMath0372.02016OpenAlexW2029598760MaRDI QIDQ4149744

Dov M. Gabbay

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272129

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (5)

Interpolation properties of superintuitionistic logics ⋮ A second paper “On the interpolation theorem for the logic of constant domains” ⋮ Failures of the interpolation lemma in quantified modal logic ⋮ On the interpolation theorem for the logic of constant domains ⋮ Failure of Interpolation in Constant Domain Intuitionistic Logic

Cites Work

• Normal modal model theory
• On 2nd order intuitionistic propositional calculus with full comprehension
• Model Theory for Intuitionistic Logic

This page was built for publication: Craig interpolation theorem for intuitionistic logic and extensions Part III