- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Topoi: The Catergorical Analysis of Logic
Dover Publications (2006)
Abstract
This article has no associated abstract. (fix it)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.
Topoi. The Categorical Analysis of Logic.Philip J. Scott - 1982 - Journal of Symbolic Logic 47 (2):445-448.
Topoi. The Categorial Analysis of Logic.Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
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: Robert Goldblatt, Topoi. The Categorial Analysis of Logic. [REVIEW]Philip J. Scott - 1986 - Journal of Symbolic Logic 51 (4):1077-1078.
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.
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.
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.
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.
Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
Analytics
Added to PP
2011-03-20
Downloads
1 (#1,913,683)
6 months
18 (#152,778)
2011-03-20
Downloads
1 (#1,913,683)
6 months
18 (#152,778)
Historical graph of downloads
Citations of this work
A formalization of kant’s transcendental logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2020 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-dxklk uwo