Skip to main content
SpringerLink
Log in

Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A semantical proof of Craig's interpolation theorem for the intuitionistic predicate logic and some intermediate prepositional logics will be given. Our proof is an extension of Henkin's method developed in [4]. It will clarify the relation between the interpolation theorem and Robinson's consistency theorem for these logics and will enable us to give a uniform way of proving the interpolation theorem for them.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. C. Fitting,Model existence theorems for modal and intuitionistic logics,Journal of Symbolic Logic 38 (1973), pp. 613–627.

    Google Scholar 

  2. D. M. Gabbay,Semantic proof of Craig's interpolation theorem for intuitionistic logic and extensions, Part I, Part II,Logic Colloquium '69, edited by R. O. Gandy and C. M. E. Yates, North-Holland, 1971, pp. 391–410.

  3. D. M. Gabbay,Semantical Investigations in Heyting's Intuitionistic Logic, D. Reidel, Dordrecht, 1981.

    Google Scholar 

  4. L. Henkin,An extension of the Craig-Lyndon interpolation theorem,Journal of Symbolic Logic 28 (1963), pp. 201–216.

    Google Scholar 

  5. L. L. Maksimova,Craig's theorem in superintuitionistic logics and amalgamated varieties of pseudo-Boolean algebras,Algebra i Logika 16 (1977), pp. 643–681.

    Google Scholar 

  6. L. L. Maksimova,Interpolation properties of superintuitionistic logics,Studia Logica 38 (1979), pp. 419–428.

    Google Scholar 

  7. H. Ono,A study of intermediate predicate logics,Publications of the Research Institute for Mathematical Sciences, Kyoto University 8 (1973), pp. 619–649.

    Google Scholar 

  8. H. Ono,Model extension theorem and Craig's interpolation theorem for intermediate predicate logics,Reports on Mathematical Logic 15 (1983), pp. 41–58.

    Google Scholar 

  9. D. Prawitz,Natural deduction, A proof-theoretical study,Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 3, Almqvist & Wiksell, Stockholm, 1965.

    Google Scholar 

  10. K. Schütte,Der Interpolationssatz der intuitionistischen Prädikatenlogik,Mathematische Annalen 148 (1962), pp. 192–200.

    Google Scholar 

  11. R. M. Smullyan,First-Order Logic, Springer-Verlag, Berlin, 1968.

    Google Scholar 

  12. G. Takeuti,Proof Theory, North-Holland, Amsterdam, 1975.

    Google Scholar 

  13. S. Zachorowski,Remark on interpolation property for intermediate logics,Reports on Mathematical Logic 10 (1978), pp. 139–146.

    Google Scholar 

  14. H. Ono,A lemma which distinguishes minimal logics from other logics,Nagoya Mathematical Journal 28 (1966), pp. 197–201.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Integrated Arts and Sciences, Hiroshima University, 730, Hiroshima, Japan

    Hiroakira Ono

Authors
  1. Hiroakira Ono
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The results in this paper were reported at Symposium on Mathematical Logic held at Shizuoka in December 1982.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ono, H. Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach. Stud Logica 45, 19–33 (1986). https://doi.org/10.1007/BF01881546

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01881546

Keywords

Search

Navigation