77 found
Order:
Disambiguations
Dana Scott [71]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.  52
    Foundational Aspects of Theories of Measurement.Dana Scott & Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):113-128.
  3.  10
    A Calculus of Regions Respecting Both Measure and Topology.Tamar Lando & Dana Scott - forthcoming - Journal of Philosophical Logic:1-26.
    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  
  4.  28
    Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
  5.  20
    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.
  6.  74
    Existence and Description in Formal Logic.Dana Scott - 1967 - In Ralph Schoenman (ed.), Journal of Symbolic Logic. pp. 181--200.
  7.  34
    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  
  8.  33
    An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  9.  28
    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.
  10.  25
    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  
  11.  8
    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.
  12.  36
    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   1 citation  
  13.  66
    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  
  14.  36
    A Proof of the Independence of the Continuum Hypothesis.Dana Scott - 1968 - Journal of Symbolic Logic 33 (2):293-293.
  15.  11
    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   2 citations  
  16.  40
    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   1 citation  
  17.  27
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  50
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
  20.  8
    Equational Completeness of Abstract Algebras.Jan Kalicki & Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):56-56.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  15
    On Constructing Models for Arithmetic.Dana Scott - 1973 - Journal of Symbolic Logic 38 (2):336-337.
  22. 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   3 citations  
  23.  20
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  24.  15
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  12
    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  
  26.  4
    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   1 citation  
  27.  12
    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   1 citation  
  28.  13
    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.
  29.  21
    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  
  30.  4
    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   1 citation  
  31.  14
    The Notion of Rank in Set-Theory.Dana Scott - 1966 - Journal of Symbolic Logic 31 (4):662-663.
  32.  5
    Dimension in Elementary Euclidean Geometry.Dana Scott - 1969 - Journal of Symbolic Logic 34 (3):514-514.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  4
    Some Definitional Suggestions for Automata Theory.Dana Scott - 1975 - Journal of Symbolic Logic 40 (4):615-616.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  9
    Mendelson Elliott. Some Proofs of Independence in Axiomatic Set Theory.Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
  35.  2
    The Lattice of Flow Diagrams.Dana Scott - 1975 - Journal of Symbolic Logic 40 (2):247-248.
  36. Review: W. Szmielew, Elementary Properties of Abelian Groups. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):59-59.
  37. Review: Leon Henkin, On a Theorem of Vaught. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-58.
  38.  9
    Background to Formalization.Dana S. Scott - 1977 - Journal of Symbolic Logic 42 (2):316-316.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  3
    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   1 citation  
  40.  9
    Review: A. A. Markov, Insolubility of the Problem of Homeomorphy. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):99-99.
  41.  9
    Final Report on the Automated Classification and Retrieval Project : MedSORT-1.Jaime G. Carbonell, David A. Evans, Dana S. Scott & Richmond H. Thomason - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    Existence and Description in Formal Logic.Alonzo Church, Dana Scott & Ralph Schoenman - 1973 - Journal of Symbolic Logic 38 (1):166.
  43.  10
    Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set-Theory, I. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):216-217.
  44.  5
    Vaught Robert L.. Applications of the Löwenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 57 , Pp. 467–472; Also Indagationes Mathematicae, Vol. 16 , Pp. 467–472. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  6
    Completeness Proofs for the Intuitionistic Sentential Calculus.Dana Scott - 1960 - Journal of Symbolic Logic 25 (4):351-351.
  46.  4
    Beth E. W.. Completeness Results for Formal Systems. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press 1960, Pp. 281–288. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):110.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  4
    Vaught Robert L.. Remarks on Universal Classes of Relational Systems. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A Vol. 57 , Pp. 589–591; Also Ibid., Vol. 16 , Pp. 589–591. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-59.
  48. Review: Robert L. Vaught, Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-58.
  49.  3
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  3
    Kreisel G.. Ordinal Logics and the Characterization of Informal Concepts of Proof. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press 1960, Pp. 289–299. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):78.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 77