Introduction to Higher Order Categorical Logic

&
Journal of Symbolic Logic 54 (3):1113-1114 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274784

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,455

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

Review: J. Lambek, P. J. Scott, Introduction to Higher Order Categorical Logic. [REVIEW]J. L. Bell - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Introduction to Higher Order Categorical Logic.Joachim Lambek & Philip J. Scott - 1986 - Cambridge University Press.
Atomic models higher up.Jessica Millar & Gerald E. Sacks - 2008 - Annals of Pure and Applied Logic 155 (3):225-241.
Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic. [REVIEW]Richard Mansfield - 1975 - Journal of Symbolic Logic 40 (3):459-459.
E. J. Lemmon. An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg. American philosophical quarterly monograph series, no. 11. Basil Blackwell, Oxford1977, x + 94 pp. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):653-654.
J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp. [REVIEW]Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):518.
Fourman M. P. and Scott D. S.. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by Fourman M. P., Mulvey C. J., and Scott D. S., Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 660–696. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.

Analytics

Added to PP
2015-02-05

Downloads
84 (#277,178)

6 months
14 (#288,981)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.
Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.
Categories of scientific theories.Hans Halvorson & Dimitris Tsementzis - 2017 - In Elaine M. Landry, Categories for the Working Philosopher. Oxford, England: Oxford University Press.

View all 119 citations / Add more citations

References found in this work

No references found.

Add more references