Categories

Keywords

Reprint years

DOI

10.2307/2271825

Other Versions

No versions found

Links

PhilArchive

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

Dana Scott. A proof of the independence of the continuum hypothesis. Mathematical systems theory, vol. 1 , pp. 89–111.J. W. Robbin - 1968 - Journal of Symbolic Logic 33 (2):293.
Scott Dana. The independence of certain distributive laws in Boolean algebras. Transactions of the American Mathematical Society, vol. 84, pp. 258–261. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):60-61.
Scott Dana. Measurable cardinals and constructible sets. Bulletin de l' Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 521–524.Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (3):410-410.
Dana Scott and Patrick Suppes. Foundational aspects of theories of measurement. The Journal of symbolic logic, vol. 23 no. 2, pp. 113–128. Reprinted in Readings in mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London 1963, pp. 212–227.Dana Scott & Patrick Suppes - 1968 - Journal of Symbolic Logic 33 (2):287-288.
Scott Dana. A symmetric primitive notion for Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 , pp. 456–461; also Indagationes mathematicae, vol. 18 , pp. 456–461.L. W. Szczerba - 1968 - Journal of Symbolic Logic 33 (2):288-289.
Dana Scott. Existence and description in formal logic. Bertrand Russell, Philosopher of the century, Essays in his honour, edited by Ralph Schoenman, Little, Brown and Company, Boston and Toronto, and George Allen & Unwin Ltd, London, 1967, pp. 181–200.Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):166-169.
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.
Dedicated to Dana Scott on his sixtieth birthday.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2).
Scott D. and Tarski A.. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 , pp. 165–170.Scott Dana and Tarski Alfred. The sentential calculus with infinitely long expressions. 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. 83–89.Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.
Scott Dana. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by Engeler E., Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.

Analytics

Added to PP
2013-11-22

Downloads
167 (#246,720)

6 months
71 (#141,087)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Dana Scott
Dana Scott
Carnegie Mellon University

Citations of this work

Dispositions, realism, and explanation.Raimo Tuomela - 1977 - Synthese 34 (4):457 - 478.

Add more citations

References found in this work

No references found.

Add more references