Craig interpolation theorem for intuitionistic logic and extensions part III

Journal of Symbolic Logic 42 (2):269-271 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
31 (#445,254)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Add more citations

References found in this work

Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):49-54.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.

Add more references