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 [Book Review]

Journal of Symbolic Logic 54 (3):1092-1094 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200041797

Links

PhilArchive



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

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. 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.
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.
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.
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.
Essay Review.Stewart Shapiro - 1985 - History and Philosophy of Logic 6 (1):215-221.
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.
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.
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.
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. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
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.
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.
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.
Graphs and order. The role of graphs in the theory of ordered sets and its applications, edited by rival Ivan, nato asi series c, vol. 147, D. reidel publishing company, dordrecht, boston, and Lancaster, 1985, XIX+ 796 pp. [REVIEW]R. Downey - 1992 - Journal of Symbolic Logic 57 (1):269-271.
Feldman Fred. Doing the best we can. An essay in informal deontic logic. Philosophical studies series in philosophy, vol. 35. D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, and Tokyo, 1986, xiv + 244 pp. [REVIEW]David Makinson - 1987 - Journal of Symbolic Logic 52 (4):1050-1051.

Analytics

Added to PP
2016-06-30

Downloads
19 (#781,160)

6 months
4 (#800,606)

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