Bibliography
K. A. Bowen,Normal model theory,Journal of Philosophical Logic, 4 (1975), pp. 97–131.
C. C. Chang andH. J. Keisler,Model theory, North-Holland, Amsterdam 1973.
C. Rauszer,Applications of Kripke models to Heyting Brouwer logic, in this volume.
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).
D. M. Gabbay Model theory for intuitionistic logic,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 18 (1972), pp. 49–54.
Author information
Authors and Affiliations
Additional information
Allatum est die 2 Junii 1976
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF02121116