53 found
Order:
Disambiguations
Dana Scott [62]Dana S. Scott [6]
  1. On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
  2. (1 other version)Foundational aspects of theories of measurement.Dana Scott & Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):113-128.
  3.  88
    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   10 citations  
  4. Existence and description in formal logic.Dana Scott - 1967 - Journal of Symbolic Logic 38 (1):181--200.
  5.  55
    Assigning Probabilities to Logical Formulas.Dana Scott & Peter Krauss - 1967 - In Jaakko Hintikka (ed.), Aspects of inductive logic. Amsterdam,: North Holland Pub. Co.. pp. 219 -- 264.
  6.  79
    (1 other version)Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
  7. An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
  8.  64
    (1 other version)Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
  9.  41
    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.
  10.  31
    Background to Formalization.Dana S. Scott - 1977 - Journal of Symbolic Logic 42 (2):316-316.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  11.  43
    Completeness Proofs for the Intuitionistic Sentential Calculus.Dana Scott - 1960 - Journal of Symbolic Logic 25 (4):351-351.
  12.  60
    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  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  26
    (1 other version)Zur Axiomatik der Mengenlehre.Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):215-216.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. 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   8 citations  
  15.  70
    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   6 citations  
  16.  69
    A Proof of the Independence of the Continuum Hypothesis.Dana Scott - 1968 - Journal of Symbolic Logic 33 (2):293-293.
  17.  25
    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   5 citations  
  18.  22
    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  
  19.  26
    Dimension in Elementary Euclidean Geometry.Dana Scott - 1969 - Journal of Symbolic Logic 34 (3):514-514.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. 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 (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    To the memory of Prof. Grigori Mints, Stanford UniversityBorn: June 7, 1939, St. Petersburg, RussiaDied: May 29, 2014, Palo Alto, California.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  46
    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.
  23.  16
    Some Definitional Suggestions for Automata Theory.Dana Scott - 1975 - Journal of Symbolic Logic 40 (4):615-616.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  30
    On Constructing Models for Arithmetic.Dana Scott - 1973 - Journal of Symbolic Logic 38 (2):336-337.
  25.  12
    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  
  26.  68
    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  
  27.  26
    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  
  28.  55
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  29. Horizons of Truth.Baaz Mathias, Christos Papadimitriou, Hilary Putnam, Dana Scott & Charles Harper (eds.) - 2011 - Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  11
    (1 other version)The Axiom of Fundierung and the Axiom of Choice.Dana Scott - 1960 - Journal of Symbolic Logic 25 (2):178-179.
  31.  52
    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.
  32.  28
    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  
  33.  12
    (1 other version)Mostowski A.. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 , pp. 12–36.Dana Scott - 1958 - Journal of Symbolic Logic 23 (2):217-217.
  34. Notes on the Formalization of Logic Parts 3 and 4.Dana S. Scott & David Bostock - 1981 - Oxford University Press.
     
    Export citation  
     
    Bookmark  
  35. Philosophy.Dana S. Scott - 1990 - Norwell: Kluwer.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Preference, Utility, and.Dana Scott - 1963 - In D. Luce (ed.), Handbook of Mathematical Psychology. John Wiley & Sons.. pp. 3--249.
  37.  89
    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  
  38.  10
    Stochastic λ-calculi: An extended abstract.Dana S. Scott - 2014 - Journal of Applied Logic 12 (3):369-376.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  14
    Szmielew W.. Elementary properties of Abelian groups. Fundamenta mathematicae, vol. 41 no. 2 , pp. 203–271.Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):59-59.
  40. The computational conception of mind in acting and reflecting: The interdisciplinary turn.Dana S. Scott - 1990 - In Philosophy. Norwell: Kluwer.
  41.  20
    The Lattice of Flow Diagrams.Dana Scott - 1975 - Journal of Symbolic Logic 40 (2):247-248.
  42.  31
    The Notion of Rank in Set-Theory.Dana Scott - 1966 - Journal of Symbolic Logic 31 (4):662-663.
  43.  12
    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-110.
  44.  19
    (1 other version)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.
  45.  11
    Hájek Petr. Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre. Fundamenta mathematicae, vol. 10 , pp. 151–157. [REVIEW]Dana Scott - 1967 - Journal of Symbolic Logic 32 (3):412-412.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  24
    Hájek Petr. Modelle der Mengenlehre, in denen Mengen gegebener Gestalt existieren. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 103–115. [REVIEW]Dana Scott - 1968 - Journal of Symbolic Logic 33 (3):474-475.
  47.  33
    (1 other version)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-78.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  48.  17
    (1 other version)Markov A. A.. Nérazréšimosť problémy goméomorfii . Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press 1960, pp. 300–306. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):99-99.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  20
    (1 other version)Mendelson Elliott. Some proofs of independence in axiomatic set theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
  50.  17
    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)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 53