Gabbay Dov M.. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp [Book Review]

Journal of Symbolic Logic 51 (3):824-824 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274038

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

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

Through your library

My notes

Similar books and articles

van Dalen Dirk. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 225–339. Felscher Walter. Dialogues as a foundation for intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986 .. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.
Kamp Hans. The paradox of the heap. Aspects of philosophical logic, Some logical forays into central notions of linguistics and philosophy, edited by Mönnich Uwe, Synthese library, vol. 147, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 225–277. [REVIEW]Kenton F. Machina - 1984 - Journal of Symbolic Logic 49 (3):991-993.
Nute Donald. Conditional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 387–439. [REVIEW]Charles B. Cross - 1989 - Journal of Symbolic Logic 54 (4):1477-1479.
Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Hazen Allen. Predicative logics. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 331–407. [REVIEW]G. Kreisel - 1989 - Journal of Symbolic Logic 54 (3):1092-1094.
Fitting Melvin. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
van Dalen Dirk. Algorithms and decision problems: a crash course in recursion theory. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 409–478. [REVIEW]John N. Crossley - 1989 - Journal of Symbolic Logic 54 (3):1094-1095.
Webb Judson Chambers. Mechanism, mentalism, and metamathematics. An essay on finitism. Synthese library, vol. 137. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xiii + 277 pp. [REVIEW]Stewart Shapiro - 1986 - Journal of Symbolic Logic 51 (2):472-476.
Bowen Kenneth A.. Model theory for modal logic. Kripke models for modal predicate calculi. Synthese library, vol. 127. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, x + 127 pp. [REVIEW]Rob Goldblatt - 1981 - Journal of Symbolic Logic 46 (2):415-417.
van Benthem J. F. A. K.. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Synthese library, vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, xvi + 260 pp. [REVIEW]Daniele Mundici - 1987 - Journal of Symbolic Logic 52 (3):874-878.
Dowty David R.. Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol. 7. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, xvii + 415 pp. [REVIEW]F. Guenthner - 1983 - Journal of Symbolic Logic 48 (2):501-502.
Zalta Edward N.. Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, xiii + 193 pp. [REVIEW]Michael Byrd - 1986 - Journal of Symbolic Logic 51 (1):246-248.
Zalta Edward N.. Abstract objects. An introduction to axiomatic metaphysics. Synthese library, vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, xiii + 193 pp. [REVIEW]Michael Byrd - 1988 - Journal of Symbolic Logic 53 (2):643-643.
Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Essay Review.Stewart Shapiro - 1985 - History and Philosophy of Logic 6 (1):215-221.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,085,484)

6 months
4 (#790,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references