Skip to main content
Log in

Model theory for an extension of intuitionistic logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. K. A. Bowen,Normal model theory,Journal of Philosophical Logic, 4 (1975), pp. 97–131.

    Google Scholar 

  2. C. C. Chang andH. J. Keisler,Model theory, North-Holland, Amsterdam 1973.

    Google Scholar 

  3. C. Rauszer,Applications of Kripke models to Heyting Brouwer logic, in this volume.

  4. C. Rauszer,On the strong semantical completeness of any extension of the intuitionistic predicate calculus, Bulletin de l'Académie Polonaise des Sciences,Série des sciences math., astr. et phys., Vol. XXIV, No. 2 (1976).

  5. D. M. Gabbay Model theory for intuitionistic logic,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 18 (1972), pp. 49–54.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Allatum est die 2 Junii 1976

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rauszer, C. Model theory for an extension of intuitionistic logic. Stud Logica 36, 73–87 (1977). https://doi.org/10.1007/BF02121116

Download citation

  • Issue Date:

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

Keywords

Navigation