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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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.
T. Ehrhard. J.-Y. Girard. P. Ruet. and P. Scott, Linear logic in computer science.Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297.
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Review: M. P. Fourman, D. S. Scott, C. J. Mulvey, Sheaves and Logic. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Review: E. J. Lemmon, Dana Scott, Krister Segerberg, An Introduction to Modal Logic. [REVIEW]R. A. Bull - 1979 - Journal of Symbolic Logic 44 (4):653-654.
Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
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.

Analytics

Added to PP
2015-02-05

Downloads
67 (#236,879)

6 months
12 (#305,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.
Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
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 (ed.), Categories for the Working Philosopher. Oxford, England: Oxford University Press.

View all 125 citations / Add more citations

References found in this work

No references found.

Add more references