Switch to: Citations

References in:

Failure of interpolation in constant domain intuitionistic logic

Grigori Mints, Grigory Olkhovikov & Alasdair Urquhart

Journal of Symbolic Logic 78 (3):937-950 (2013)

Add references

You must login to add references.

A Short Introduction to Intuitionistic Logic.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 6 citations
Reviews. Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 pp. [REVIEW]A. Nerode & Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):73-75.details Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 4 citations
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.Dieter Klemke - 1971 - Archive for Mathematical Logic 14 (3-4):148-161.details No categories Direct download Export citation Bookmark 6 citations
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details Proof Theory in Logic and Philosophy of Logic Export citation Bookmark 165 citations

1