## Abstract

This chapter presents semantic proof of Craig's interpolation theorem for intuitionistic logic and extensions. We shall also refute (in Section 2) the strong form of Robinson's consistency statement for the intuitionistic logic. When in (b) contains only conjunctions, negations and universal quantifiers. This is the generalization of the translation of the classical propositional logic into the intuitionistic. Craig's interpolation theorem holds for the following extensions of the intuitionistic predicate calculus. The chapter also constructs a theory ($(), 0), which is for any $ the classical theory. It is assured that a respective may be found. Thus, two structures S_{$} and S_{θ}, which are isomorphic, are obtained.

Original language | English |
---|---|

Pages (from-to) | 403-410 |

Number of pages | 8 |

Journal | Studies in Logic and the Foundations of Mathematics |

Volume | 61 |

Issue number | C |

DOIs | |

State | Published - 1 Jan 1971 |

Externally published | Yes |

### Bibliographical note

Funding Information:‘1 Supported by the Roral Society under the Royal Society - Israel Academy exchange programme.