70 found
Order:
Disambiguations:
Dana Scott [64]Dana S. Scott [6]
See also:
Profile: Dana Scott (Carnegie Mellon University)
  1.  95
    Dana Scott (1971). On Engendering an Illusion of Understanding. Journal of Philosophy 68 (21):787-807.
  2.  35
    Dana Scott & Patrick Suppes (1958). Foundational Aspects of Theories of Measurement. Journal of Symbolic Logic 23 (2):113-128.
  3.  19
    Dana Scott (1967). Existence and Description in Formal Logic. In Ralph Schoenman (ed.), Journal of Symbolic Logic. 181--200.
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  4.  5
    J. L. Bell & Dana Scott (1981). Boolean-Valued Models and Independence Proofs in Set Theory. Journal of Symbolic Logic 46 (1):165-165.
    Direct download  
     
    Export citation  
     
    My bibliography   17 citations  
  5.  6
    Dana Scott (1965). Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. In J. W. Addison (ed.), Journal of Symbolic Logic. Amsterdam, North-Holland Pub. Co. 1104--329.
    Direct download  
     
    Export citation  
     
    My bibliography   13 citations  
  6.  57
    Dana Scott & Dominic McCarty (2008). Reconsidering Ordered Pairs. 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  
     
    My bibliography   1 citation  
  7.  10
    E. J. Lemmon, Dana Scott & Krister Segerberg (1979). An Introduction to Modal Logic. Journal of Symbolic Logic 44 (4):653-654.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  8.  1
    Dana Scott, M. P. Fourman, C. J. Mulvey & D. S. Scott (1985). Identity and Existence in Intuitionistic Logic. Journal of Symbolic Logic 50 (2):548-549.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  9.  6
    Dana Scott (1968). A Symmetric Primitive Notion for Euclidean Geometry. Journal of Symbolic Logic 33 (2):288-289.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  6
    Jan Kalicki & Dana Scott (1958). Equational Completeness of Abstract Algebras. Journal of Symbolic Logic 23 (1):56-56.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  11.  6
    Dana Scott (1968). A Proof of the Independence of the Continuum Hypothesis. Journal of Symbolic Logic 33 (2):293-293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  6
    R. O. Gandy & Dana Scott (1964). On the Axiom of Extensionality. Journal of Symbolic Logic 29 (3):142-142.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  10
    Dana Scott (1969). Boolean Models and Nonstandard Analysis. In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York, Holt, Rinehart and Winston 87--92.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  2
    Dana Scott & Peter Krauss (1966). Assigning Probabilities to Logical Formulas. In Jaakko Hintikka & Patrick Suppes (eds.), Aspects of Inductive Logic. Elsevier: Amsterdam 219 -- 264.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  29
    Dana Scott (1970). Semantical Archaeology: A Parable. 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  
     
    My bibliography   1 citation  
  16.  27
    Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss, A Study of Categorres of Algebras and Coalgebras.
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  17.  9
    Warren Goldfarb, Erich Reck, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Colin McLarty, Dana Scott & Michael Kremer (2004). Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004. Bulletin of Symbolic Logic 10 (3).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  24
    Steve Awodey, Lars Birkedal & Dana Scott, Local Realizability Toposes and a Modal Logic for Computability.
    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  
     
    My bibliography  
  19.  4
    Dana Scott (1973). On Constructing Models for Arithmetic. Journal of Symbolic Logic 38 (2):336-337.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  3
    Dana S. Scott (1977). Background to Formalization. Journal of Symbolic Logic 42 (2):316-316.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  4
    Dana Scott (1962). Review: A. A. Markov, Insolubility of the Problem of Homeomorphy. [REVIEW] Journal of Symbolic Logic 27 (1):99-99.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  2
    Dana Scott (1969). Dimension in Elementary Euclidean Geometry. Journal of Symbolic Logic 34 (3):514-514.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  23. Dana Scott (1959). Review: W. Szmielew, Elementary Properties of Abelian Groups. [REVIEW] Journal of Symbolic Logic 24 (1):59-59.
     
    Export citation  
     
    My bibliography  
  24. Dana Scott (1959). Review: Leon Henkin, On a Theorem of Vaught. [REVIEW] Journal of Symbolic Logic 24 (1):58-58.
     
    Export citation  
     
    My bibliography  
  25. Dana Scott (1958). Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory. [REVIEW] Journal of Symbolic Logic 23 (1):42-44.
     
    Export citation  
     
    My bibliography   4 citations  
  26.  2
    Dana Scott (1966). The Notion of Rank in Set-Theory. Journal of Symbolic Logic 31 (4):662-663.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Dana Scott (1969). On Completing Ordered Fields. In W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. New York, Holt, Rinehart and Winston 274--278.
    No categories
     
    Export citation  
     
    My bibliography   3 citations  
  28.  3
    Dana Scott (1958). Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set-Theory, I. [REVIEW] Journal of Symbolic Logic 23 (2):216-217.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Dana Scott (1959). Review: Robert L. Vaught, Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability. [REVIEW] Journal of Symbolic Logic 24 (1):58-58.
     
    Export citation  
     
    My bibliography  
  30.  1
    Dana Scott & Alfred Tarski (1965). The Sentential Calculus with Infinitely Long Expressions. Journal of Symbolic Logic 30 (1):95-95.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  1
    Dana Scott (1960). Completeness Proofs for the Intuitionistic Sentential Calculus. Journal of Symbolic Logic 25 (4):351-351.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  2
    Dana Scott (1962). Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof. [REVIEW] Journal of Symbolic Logic 27 (1):78-78.
  33.  1
    Jaime G. Carbonell, David A. Evans, Dana S. Scott & Richmond H. Thomason, Final Report on the Automated Classification and Retrieval Project : MedSORT-1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Dana Scott (1967). Review: Petr Hajek, Die Durch Die Schwach Inneren Relationen Gegebenen Modelle der Mengenlehre. [REVIEW] Journal of Symbolic Logic 32 (3):412-412.
    Translate
     
     
    Export citation  
     
    My bibliography  
  35. Dana Scott (1957). Review: Gideon Schwarz, A Note on Transfinite Iteration. [REVIEW] Journal of Symbolic Logic 22 (3):303-303.
     
    Export citation  
     
    My bibliography  
  36.  1
    Dana Scott (1962). Review: E. W. Beth, Completeness Results for Formal Systems. [REVIEW] Journal of Symbolic Logic 27 (1):110-110.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Dana Scott (1975). Some Definitional Suggestions for Automata Theory. Journal of Symbolic Logic 40 (4):615-616.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  38. Dana Scott (1975). The Lattice of Flow Diagrams. Journal of Symbolic Logic 40 (2):247-248.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  1
    Dana Scott (1968). Review: Petr Hajek, Modelle der Mengenlehre in Denen Mengen Gegebener Gestalt Existieren. [REVIEW] Journal of Symbolic Logic 33 (3):474-475.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  1
    Dana Scott (1958). Review: A. Mostowski, On a Generalization of Quantifiers. [REVIEW] Journal of Symbolic Logic 23 (2):217-217.
  41.  1
    Dana Scott (1958). Review: Wilhelm Ackermann, Zur Axiomatik der Mengenlehre. [REVIEW] Journal of Symbolic Logic 23 (2):215-216.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Dana Scott (1959). The Independence of Certain Distributive Laws in Boolean Algebras. Journal of Symbolic Logic 24 (1):60-61.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  43. Alonzo Church, Dana Scott & Ralph Schoenman (1973). Existence and Description in Formal Logic. Journal of Symbolic Logic 38 (1):166.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Warren Goldfarb, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Dana Scott & Michael Kremer (2004). Of the Association for Symbolic Logic. Bulletin of Symbolic Logic 10 (3):438.
     
    Export citation  
     
    My bibliography  
  45. Baaz Mathias, Christos Papadimitriou, Hilary Putnam, Dana Scott & Charles Harper (eds.) (2011). Horizons of Truth. Cambridge University Press.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  46. Dana Scott & Robert L. Vaught (1959). Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability. Journal of Symbolic Logic 24 (1):58.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Dana Scott (1958). Ackermann Wilhelm. Zur Axiomatik der Mengenlehre. Mathematische Annalen, vol. 131 , pp. 336–345. Journal of Symbolic Logic 23 (2):215-216.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Dana Scott (1962). 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] Journal of Symbolic Logic 27 (1):110.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Dana Scott (1959). 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] Journal of Symbolic Logic 24 (1):58.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Dana Scott (1967). Hájek Petr and Sochor Antonín. Ein Dem Fundierungsaxiom Äquivalentes Axiom. Fundamenta Mathematicae, Vol. 10 , Pp. 261–263. [REVIEW] Journal of Symbolic Logic 32 (3):412.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 70