- 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
Identity and Existence in Intuitionistic Logic
Journal of Symbolic Logic 50 (2):548-549 (1985)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
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.
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.
Two questions from Dana Scott: Intuitionistic topologies and continuous functions.Charles McCarty - 2009 - Journal of Symbolic Logic 74 (2):689-692.
T. Frayne, A. C. Morel, and D. S. Scott. Reduced direct products. Fundamenta mathematicae, vol. 51 , pp. 195–228. , p. 117.). [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):506-507.
Scott Dana. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
Dedicated to Dana Scott on his sixtieth birthday.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2).
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.
Analytics
Added to PP
2015-02-05
Downloads
44 (#485,320)
6 months
8 (#528,772)
2015-02-05
Downloads
44 (#485,320)
6 months
8 (#528,772)
Historical graph of downloads
Author's Profile
Citations of this work
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
Computer Science and Metaphysics: A Cross-Fertilization.Edward N. Zalta, Christoph Benzmüller & Daniel Kirchner - 2019 - Open Philosophy 2 (1):230-251.
Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.
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-7f8ff5d46-f55ns uwo