Skip to main content
SpringerLink
Log in

Partial isomorphisms and intuitionistic logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories.

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. J. Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Berlin, Heidelberg, New York 1975.

  2. B. I. Dahn, On models with variable universe, Studia Logica 34 (1975), pp. 11–23.

    Google Scholar 

  3. B. I. Dahn, Prädikatenkalküle der ersten Stufe für Kripke-Modelle und metrische Strukturen, Diss. B, Humboldt-Universität zu Berlin 1980.

  4. A. Ehrenfeucht, An application of games to the completeness problems for formalized theories, Fundamenta Mathematicae 49 (1961), pp. 129–141.

    Google Scholar 

  5. J. R. Shoenfield, Mathematical Logic, Reading, Menlo Park, London, Don Mills 1967.

  6. G. Weaver, J. Welaish, Back and forth arguments in modal logic: Uniform interpolation theorems for a family of modal logics (abstract), Journal of Symbolic Logic 44 (1979), p. 472.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sektion Mathematik der Humboldt-Univebsität, DDR-1086, Berlin, PSF 1297

    Bernd I. Dahn

Authors
  1. Bernd I. Dahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dahn, B.I. Partial isomorphisms and intuitionistic logic. Stud Logica 40, 405–413 (1981). https://doi.org/10.1007/BF00401658

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation