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

Journal of Symbolic Logic 50 (3):855-856 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274341

Other Versions

edition Bull, R. A. (1985) "Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics". Journal of Symbolic Logic 50(3):855-856

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

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.
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
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.
Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131. [REVIEW]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
Johan van Benthem and Kees Doets. Higher-order logic. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 275–329. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
Hugues Leblanc. Alternatives to standard first-order semantics. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 189–274. [REVIEW]Martin Davies - 1989 - Journal of Symbolic Logic 54 (4):1483-1484.
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.
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.
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.

Analytics

Added to PP
2016-06-30

Downloads
23 (#927,665)

6 months
5 (#1,013,271)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references