On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic

@article{Makkai1995OnGP,
  title={On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic},
  author={Michael Makkai},
  journal={Notre Dame Journal of Formal Logic},
  year={1995},
  volume={36},
  pages={364-381}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…