70 found
Order:
Disambiguations
Dana Scott [68]Dana S. Scott [6]
See also
Dana Scott
Carnegie Mellon University
  1. On Engendering an Illusion of Understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
  2.  65
    Foundational Aspects of Theories of Measurement.Dana Scott & Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):113-128.
  3.  36
    Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
  4.  90
    Existence and Description in Formal Logic.Dana Scott - 1967 - In Ralph Schoenman (ed.), Journal of Symbolic Logic. pp. 181--200.
  5.  44
    An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  6.  5
    Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  7.  36
    Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott - 1965 - In J. W. Addison (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 1104--329.
  8.  22
    Assigning Probabilities to Logical Formulas.Dana Scott & Peter Krauss - 1966 - In Jaakko Hintikka & Patrick Suppes (eds.), Aspects of Inductive Logic. Elsevier: Amsterdam. pp. 219 -- 264.
  9.  44
    A Study of Categorres of Algebras and Coalgebras.Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss - unknown
    This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that categories 0f (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  10.  13
    Identity and Existence in Intuitionistic Logic.Dana Scott, M. P. Fourman, C. J. Mulvey & D. S. Scott - 1985 - Journal of Symbolic Logic 50 (2):548-549.
  11.  44
    Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
    This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  52
    Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  48
    A Proof of the Independence of the Continuum Hypothesis.Dana Scott - 1968 - Journal of Symbolic Logic 33 (2):293-293.
  14.  18
    A Calculus of Regions Respecting Both Measure and Topology.Tamar Lando & Dana Scott - 2019 - Journal of Philosophical Logic 48 (5):825-850.
    Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    The Iterative Conception of Set.George Boolos, Dana Scott, Thomas J. Jech, W. N. Reinhardt & Hao Wang - 1985 - Journal of Symbolic Logic 50 (2):544-547.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  16. On Completing Ordered Fields.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York: Holt, Rinehart and Winston. pp. 274--278.
     
    Export citation  
     
    Bookmark   6 citations  
  17.  13
    Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott, J. W. Addison, Leon Henkin & Alfred Tarski - 1971 - Journal of Symbolic Logic 36 (1):157-158.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  13
    Existence and Description in Formal Logic.Alonzo Church, Dana Scott & Ralph Schoenman - 1973 - Journal of Symbolic Logic 38 (1):166.
  19.  34
    Axiomatizing Category Theory in Free Logic.Christoph Benzmüller & Dana Scott - manuscript
    Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  69
    Reconsidering Ordered Pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
    The well known Wiener-Kuratowski explicit definition of the ordered pair, which sets ⟨x, y⟩ = {{x}, {x, y}}, works well in many set theories but fails for those with classes which cannot be members of singletons. With the aid of the Axiom of Foundation, we propose a recursive definition of ordered pair which addresses this shortcoming and also naturally generalizes to ordered tuples of greater lenght. There are many advantages to the new definition, for it allows for uniform definitions working (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  14
    Background to Formalization.Dana S. Scott - 1977 - Journal of Symbolic Logic 42 (2):316-316.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  5
    Zur Axiomatik der Mengenlehre.Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):215-216.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  23.  15
    Completeness Proofs for the Intuitionistic Sentential Calculus.Dana Scott - 1960 - Journal of Symbolic Logic 25 (4):351-351.
  24.  30
    Boolean Models and Nonstandard Analysis.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York: Holt, Rinehart and Winston. pp. 87--92.
  25.  67
    Semantical Archaeology: A Parable.Dana Scott - 1970 - Synthese 21 (3-4):399 - 407.
    A somewhat fictionalized account of several interpretations of implication is presented together with comparisons between classical, modal, tense, and intuitionistic logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  10
    Equational Completeness of Abstract Algebras.Jan Kalicki & Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):56-56.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  26
    Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability.Dana Scott & Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (1):58.
  28.  6
    Foundational Aspects of Theories of Measurement.Dana Scott & Patrick Suppes - 1968 - Journal of Symbolic Logic 33 (2):287-288.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  3
    Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
  30.  6
    Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 , pp. 261–263. [REVIEW]Dana Scott - 1967 - Journal of Symbolic Logic 32 (3):412.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  14
    The Sentential Calculus with Infinitely Long Expressions.Dana Scott & Alfred Tarski - 1965 - Journal of Symbolic Logic 30 (1):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  19
    On Constructing Models for Arithmetic.Dana Scott - 1973 - Journal of Symbolic Logic 38 (2):336-337.
  33.  7
    Review: Robert L. Vaught, Remarks on Universal Classes of Relational Systems. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-59.
  34.  24
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  35.  28
    Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004.Warren Goldfarb, Erich Reck, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Colin McLarty, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  15
    A Symmetric Primitive Notion for Euclidean Geometry.Dana Scott - 1968 - Journal of Symbolic Logic 33 (2):288-289.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  12
    Dimension in Elementary Euclidean Geometry.Dana Scott - 1969 - Journal of Symbolic Logic 34 (3):514-514.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  16
    Henkin Leon. On a Theorem of Vaught. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 58 , Pp. 326–328; Also Ibid., Vol. 17 , Pp. 326–328. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-58.
  39.  5
    The Independence of Certain Distributive Laws in Boolean Algebras.Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):60-61.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  9
    The Lattice of Flow Diagrams.Dana Scott - 1975 - Journal of Symbolic Logic 40 (2):247-248.
  41.  14
    Rieger Ladislav. A Contribution to Gödel's Axiomatic Set-Theory, I. English, with Russian Summary. Čéhoslovačkij Matématičéskij Žurnal , Vol. 7 , Pp. 323–357. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):216-217.
  42.  16
    The Notion of Rank in Set-Theory.Dana Scott - 1966 - Journal of Symbolic Logic 31 (4):662-663.
  43.  13
    Ackermann Wilhelm. Zur Axiomatik der Mengenlehre. Mathematische Annalen, vol. 131 , pp. 336–345.Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):215-216.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  13
    Mendelson Elliott. Some Proofs of Independence in Axiomatic Set Theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
  45.  7
    Some Definitional Suggestions for Automata Theory.Dana Scott - 1975 - Journal of Symbolic Logic 40 (4):615-616.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Review: Leon Henkin, On a Theorem of Vaught. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-58.
  47.  10
    Schwarz Gideon. A Note on Transfinite Iteration.Dana Scott - 1957 - Journal of Symbolic Logic 22 (3):303-303.
  48.  13
    Review: A. A. Markov, Insolubility of the Problem of Homeomorphy. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):99-99.
  49.  6
    Review: Gideon Schwarz, A Note on Transfinite Iteration. [REVIEW]Dana Scott - 1957 - Journal of Symbolic Logic 22 (3):303-303.
  50.  13
    Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set-Theory, I. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):216-217.
1 — 50 / 70