Edit Profile (opens in new tab) Scott, Dana Stewart Compute Distance To: Compute Author ID: scott.dana-s Published as: Scott, Dana; Scott, D.; Scott, Dana S.; Scott, D. S.; Scott, D. B. Homepage: https://www.cs.cmu.edu/~scott/ External Links: MGP · Wikidata · Google Scholar · dblp · GND · IdRef Awards: Turing Award (1976) Documents Indexed: 108 Publications since 1949, including 3 Books 10 Contributions as Editor · 9 Further Contributions Biographic References: 1 Publication Co-Authors: 53 Co-Authors with 46 Joint Publications 1,266 Co-Co-Authors all top 5 Co-Authors 70 single-authored 6 Birkedal, Lars 4 Rosolini, Giuseppe 3 Awodey, Steve 3 Bauer, Andrej 3 Feferman, Solomon 3 Hofmann, Karl Heinrich 3 Lascu, Alexandru T. 3 Rabin, Michael O. 2 Addison, John T. 2 Baaz, Matthias 2 Baldwin, John T. 2 Barwise, Kenneth Jon 2 Baudisch, Andreas 2 Benzmüller, Christoph Ewald 2 Chang, Chen-Chung 2 Dickmann, Max A. 2 Ebbinghaus, Heinz-Dieter 2 Eklof, Paul C. 2 Flum, Jörg 2 Fourman, Michael Paul 2 Gierz, Gerhard 2 Harper, Charles L. jun. 2 Henkin, Leon Albert 2 Horty, John F. 2 Kaufmann, Matt 2 Keimel, Klaus 2 Keisler, Howard Jerome 2 Kolaitis, Phokion G. 2 Lawson, Jimmie Don 2 Makowsky, Johann-Andreas 2 McCarty, David Charles 2 Mislove, Michael W. 2 Mumford, David Bryant 2 Mundici, Daniele 2 Nadel, Mark E. 2 Papadimitriou, Christos Harilaos 2 Plotkin, Gordon D. 2 Putnam, Hilary Whitehall 2 Schmerl, James H. 2 Seese, Detlef G. 2 Steinhorn, Charles I. 2 Tarski, Alfred 2 Tuschik, Hans-Peter 2 Väänänen, Jouko Antero 2 van Oosten, Jaap 2 Vaught, Robert L. 2 Weese, Martin 2 Ziegler, Martin 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Araki, Keijiro 1 Avigad, Jeremy 1 Bacci, Giorgio 1 Barendregt, Hendrik Pieter 1 Barras, Bruno 1 Bertot, Yves 1 Bezem, Marc 1 Böhm, Corrado 1 Bordg, Anthony 1 Brouwer, Luitzen Egbertus Jan 1 Brunerie, Guillaume 1 Bunder, Martin W. 1 Cantor, Georg 1 Cohen, Cyril 1 Cohen, Paul Joseph 1 Constable, Robert Lee 1 Coppo, Mario 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 de Bruijn, Nicolaas Govert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Domoto, Shuji 1 Dybjer, Peter 1 Evyatar, Asriel 1 Felgner, Ulrich 1 Finamor, Lucas 1 Finster, Eric 1 Fitch, Frederic Brenton 1 Fraenkel, Abraham 1 Frayne, T. 1 Freyd, Peter J. 1 Fritz, Peter 1 Gál, I. L. 1 Gambino, Nicola 1 Gandy, Robin O. 1 Garner, Richard 1 Gilmore, Paul C. 1 Girard, P. M. 1 Gödel, Kurt 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Gunter, Carl A. 1 Hales, Thomas Callister 1 Harper, Robert 1 Hashiguchi, Kozaburo 1 Helgason, Sigurdur 1 Herbelin, Hugo ...and 100 more Co-Authors all top 5 Serials 4 Annali di Matematica Pura ed Applicata. Serie Quarta 4 Proceedings of the London Mathematical Society. Third Series 4 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 3 Fundamenta Mathematicae 3 Theoretical Computer Science 3 Proceedings of Symposia in Pure Mathematics 2 Bulletin of the London Mathematical Society 2 The Journal of Symbolic Logic 2 MSCS. Mathematical Structures in Computer Science 2 Proceedings of the Cambridge Philosophical Society 2 Journal of the London Mathematical Society 2 Lecture Notes in Mathematics 2 Perspectives in Mathematical Logic 1 Acta Informatica 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 American Journal of Mathematics 1 Colloquium Mathematicum 1 Compositio Mathematica 1 Journal of Computer and System Sciences 1 Journal of the London Mathematical Society. Second Series 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Mathematical Systems Theory 1 SIAM Journal on Computing 1 Software. Practice & Experience 1 Synthese 1 Transactions of the American Mathematical Society 1 Information and Computation 1 Journal of Automated Reasoning 1 Economics Letters 1 Communications of the ACM 1 IBM Journal of Research and Development 1 Notices of the American Mathematical Society 1 The Bulletin of Symbolic Logic 1 Higher-Order and Symbolic Computation 1 Journal of Applied Logic 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Proceedings of the London Mathematical Society. Second Series 1 Rendiconti Di Matematica e Delle Sue Applicazioni, V. Serie 1 Journal of Mathematics and Physics 1 Encyclopedia of Mathematics and Its Applications 1 Lecture Notes in Computer Science 1 Seminari di Geometria. Universitá degli Studi di Bologna 1 Electronic Notes in Theoretical Computer Science 1 The Review of Symbolic Logic all top 5 Fields 59 Mathematical logic and foundations (03-XX) 26 Computer science (68-XX) 14 Category theory; homological algebra (18-XX) 12 History and biography (01-XX) 11 General and overarching topics; collections (00-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Algebraic geometry (14-XX) 8 General topology (54-XX) 2 Algebraic topology (55-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Manifolds and cell complexes (57-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 87 Publications have been cited 2,959 times in 2,473 Documents Cited by ▼ Year ▼ A compendium of continuous lattices. Zbl 0452.06001Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. 596 1980 Finite automata and their decision problems. Zbl 0158.25404Rabin, M. O.; Scott, D. 312 1959 Continuous lattices and domains. Zbl 1088.06001Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. 303 2003 Data types as lattices. Zbl 0337.02018Scott, Dana 184 1976 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 179 1959 Measurement structures and linear inequalities. Zbl 0129.12102Scott, Dana 145 1964 Domains for denotational semantics. Zbl 0495.68025Scott, Dana S. 88 1982 Sheaves and logic. Zbl 0415.03053Fourman, M. P.; Scott, D. S. 77 1979 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 65 1985 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 61 2013 Continuous lattices. Zbl 0239.54006Scott, Dana 60 1972 Reduced direct products. Zbl 0108.00501Frayne, T.; Morel, A. C.; Scott, D. S. 53 1963 Semantic domains. Zbl 0900.68301Gunter, C. A.; Scott, Dana S. 52 1990 Toward a mathematical semantics for computer languages. Zbl 0268.68004Scott, Dana; Strachey, Christopher 50 1971 A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522Scott, Dana S. 46 1993 An introduction to modal logic. In collaboration with Dana Scott. Edited by Krister Segerberg. The ”Lemmon Notes”. Zbl 0388.03006Lemmon, E. J. 40 1977 Completeness and axiomatizability in many-valued logic. Zbl 0318.02021Scott, Dana 37 1974 Measurable cardinals and constructible sets. Zbl 0154.00702Scott, D. 36 1961 Some definitional suggestions for automata theory. Zbl 0164.32103Scott, D. 36 1967 Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003Scott, Dana 34 1965 Assigning probabilities to logical formulas. Zbl 0202.29905Scott, Dana; Krauss, Peter 33 1966 Advice on modal logic. Zbl 0295.02013Scott, Dana 27 1970 Equilogical spaces. Zbl 1059.18004Bauer, Andrej; Birkedal, Lars; Scott, Dana S. 26 2004 Equational completeness of abstract algebras. Zbl 0073.24501Kalicki, Jan; Scott, Dana 25 1955 Outline of a mathematical theory of computation. Zbl 0419.68076Scott, D. 22 1977 Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601Scott, D. 21 1962 Type theory via exact categories. (Extended abstract). Zbl 0945.03542Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S. 20 1998 A proof of the independence of the continuum hypothesis. Zbl 0149.25302Scott, D. 20 1967 The lattice of flow diagrams. Zbl 0228.68016Scott, Dana 17 1971 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 15 1980 Lectures on a mathematical theory of computation. Zbl 0516.68064Scott, Dana S. 15 1982 Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201Scott, Dana 15 1968 Identity and existence in intuitionistic logic. Zbl 0418.03016Scott, Dana 12 1979 Rules and derived rules. Zbl 0296.02012Scott, Dana 12 1974 The seventeen provers of the world. Foreword by Dana S. Scott.. Zbl 1084.68119 10 2005 Lambda calculus: Some models, some philosophy. Zbl 0515.03004Scott, Dana 10 1980 Ordinal definability. Zbl 0226.02048Myhill, John; Scott, Dana 10 1971 The sentential calculus with infinitely long expressions. Zbl 0119.25002Scott, D.; Tarski, A. 9 1958 An algebraic correspondence with applications to projective bundles and blowing up Chern classes. Zbl 0296.14009Lascu, A. T.; Scott, D. B. 9 1975 The self-intersection formula and the ’formule-clef’. Zbl 0341.14002Lascu, A. T.; Mumford, D.; Scott, D. B. 8 1975 Extensional PERs. Zbl 0762.18006Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 8 1992 Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001 7 1979 Some ordered sets in computer science. Zbl 0497.06001Scott, Dana S. 7 1982 Equationally complete extensions of finite algebras. Zbl 0073.24602Scott, Dana 7 1956 Lattice theory, data types and semantics. Zbl 0279.68042Scott, Dana 7 1972 Axiomatizing set theory. Zbl 0319.02061Scott, Dana 7 1974 Data types as lattices. Zbl 0322.02024Scott, Dana 7 1975 Local realizability toposes and a modal logic for computability. Zbl 1007.03057Awodey, Steven; Birkedal, Lars; Scott, Dana S. 6 2002 The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401Scott, Dana 6 1957 Additions to some results of Erdős and Tarski. Zbl 0173.00803Monk, J. Donald; Scott, D. 6 1964 Boolean models and nonstandard analysis. Zbl 0187.27101Scott, D. 6 1969 Combinators and classes. Zbl 0342.02018Scott, Dana 5 1975 Finite automata and their decision problems. Zbl 1461.68105Rabin, M. O.; Scott, D. 5 1959 Some philosophical issues concerning theories of combinators. Zbl 0342.02019Scott, Dana 4 1975 Logic and programming languages. Zbl 0355.68019Scott, Dana S. 4 1977 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504Awodey, Steven; Birkedal, Lars; Scott, Dana S. 4 1999 Completeness and axiomatizability in many-valued logic. Zbl 1288.03021Scott, Dana 4 2012 A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502Scott, Dana 4 1956 Quine’s individuals. Zbl 0151.00904Scott, D. 4 1962 Invariant Borel sets. Zbl 0152.21304Scott, Dana 4 1964 Natural lifts and the covariant systems of Todd. Zbl 0183.25601Scott, D. B. 4 1969 On completing ordered fields. Zbl 0188.32202Scott, D. 4 1969 Constructive validity. Zbl 0206.28402Scott, D. 4 1970 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 A simple proof of the formula for the blowing up of Chern classes. Zbl 0386.14007Lascu, A. T.; Scott, D. B. 3 1978 Reconsidering ordered pairs. Zbl 1171.03028Scott, Dana; McCarty, Dominic 3 2008 Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020Scott, Dana S. 3 2014 The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019Scott, Dana S. 3 2008 Mathematical analysis. An introduction. Zbl 0136.34203Scott, D. B.; Tims, S. R. 3 1966 On a theorem of Rabin. Zbl 0173.00604Scott, D. 3 1960 Background to formalization. Zbl 0277.02003Scott, Dana S. 3 1973 Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023Scott, Dana 3 1975 Automating free logic in Isabelle/HOL. Zbl 1434.68638Benzmüller, Christoph; Scott, Dana 2 2016 Proceedings of the Tarski symposium. An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday. Held at the University of California, Berkeley, June 23-30, 1971. Zbl 0291.00009 2 1974 A calculus of regions respecting both measure and topology. Zbl 1457.28001Lando, Tamar; Scott, Dana 2 2019 Mengenlehre. Zbl 0403.03035 1 1979 A note on distributive normal forms. Zbl 0452.03005Scott, Dana 1 1979 A vector method for solving linear equations and inverting matrices. Zbl 0074.10702Roth, J. P.; Scott, D. S. 1 1956 Tangent-direction bundles of algebraic varieties. Zbl 0100.35603Scott, D. B. 1 1961 The tangent direction bundle of an algebraic variety and generalized Jacobians of linear systems. Zbl 0124.37002Ingleton, A. W.; Scott, D. B. 1 1961 Some algebro-geometric fibre spaces. Zbl 0148.41601Scott, D. B. 1 1966 More on the axiom of extensionality. Zbl 0199.01403Scott, Dana 1 1962 Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403Scott, D. 1 1960 Semantical archaeology: A parable. Zbl 0211.01002 1 1970 Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203Scott, D. 1 1970 On polynomials in a polynomial. Zbl 0255.12101Evyatar, A.; Scott, D. B. 1 1972 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009 1 2011 A calculus of regions respecting both measure and topology. Zbl 1457.28001Lando, Tamar; Scott, Dana 2 2019 Automating free logic in Isabelle/HOL. Zbl 1434.68638Benzmüller, Christoph; Scott, Dana 2 2016 Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020Scott, Dana S. 3 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 61 2013 Completeness and axiomatizability in many-valued logic. Zbl 1288.03021Scott, Dana 4 2012 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009 1 2011 Reconsidering ordered pairs. Zbl 1171.03028Scott, Dana; McCarty, Dominic 3 2008 The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019Scott, Dana S. 3 2008 The seventeen provers of the world. Foreword by Dana S. Scott.. Zbl 1084.68119 10 2005 Equilogical spaces. Zbl 1059.18004Bauer, Andrej; Birkedal, Lars; Scott, Dana S. 26 2004 Continuous lattices and domains. Zbl 1088.06001Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. 303 2003 Local realizability toposes and a modal logic for computability. Zbl 1007.03057Awodey, Steven; Birkedal, Lars; Scott, Dana S. 6 2002 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504Awodey, Steven; Birkedal, Lars; Scott, Dana S. 4 1999 Type theory via exact categories. (Extended abstract). Zbl 0945.03542Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S. 20 1998 A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522Scott, Dana S. 46 1993 Extensional PERs. Zbl 0762.18006Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 8 1992 Semantic domains. Zbl 0900.68301Gunter, C. A.; Scott, Dana S. 52 1990 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 65 1985 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 Domains for denotational semantics. Zbl 0495.68025Scott, Dana S. 88 1982 Lectures on a mathematical theory of computation. Zbl 0516.68064Scott, Dana S. 15 1982 Some ordered sets in computer science. Zbl 0497.06001Scott, Dana S. 7 1982 A compendium of continuous lattices. Zbl 0452.06001Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. 596 1980 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 15 1980 Lambda calculus: Some models, some philosophy. Zbl 0515.03004Scott, Dana 10 1980 Sheaves and logic. Zbl 0415.03053Fourman, M. P.; Scott, D. S. 77 1979 Identity and existence in intuitionistic logic. Zbl 0418.03016Scott, Dana 12 1979 Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001 7 1979 Mengenlehre. Zbl 0403.03035 1 1979 A note on distributive normal forms. Zbl 0452.03005Scott, Dana 1 1979 A simple proof of the formula for the blowing up of Chern classes. Zbl 0386.14007Lascu, A. T.; Scott, D. B. 3 1978 An introduction to modal logic. In collaboration with Dana Scott. Edited by Krister Segerberg. The ”Lemmon Notes”. Zbl 0388.03006Lemmon, E. J. 40 1977 Outline of a mathematical theory of computation. Zbl 0419.68076Scott, D. 22 1977 Logic and programming languages. Zbl 0355.68019Scott, Dana S. 4 1977 Data types as lattices. Zbl 0337.02018Scott, Dana 184 1976 An algebraic correspondence with applications to projective bundles and blowing up Chern classes. Zbl 0296.14009Lascu, A. T.; Scott, D. B. 9 1975 The self-intersection formula and the ’formule-clef’. Zbl 0341.14002Lascu, A. T.; Mumford, D.; Scott, D. B. 8 1975 Data types as lattices. Zbl 0322.02024Scott, Dana 7 1975 Combinators and classes. Zbl 0342.02018Scott, Dana 5 1975 Some philosophical issues concerning theories of combinators. Zbl 0342.02019Scott, Dana 4 1975 Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023Scott, Dana 3 1975 Completeness and axiomatizability in many-valued logic. Zbl 0318.02021Scott, Dana 37 1974 Rules and derived rules. Zbl 0296.02012Scott, Dana 12 1974 Axiomatizing set theory. Zbl 0319.02061Scott, Dana 7 1974 Proceedings of the Tarski symposium. An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday. Held at the University of California, Berkeley, June 23-30, 1971. Zbl 0291.00009 2 1974 Background to formalization. Zbl 0277.02003Scott, Dana S. 3 1973 Continuous lattices. Zbl 0239.54006Scott, Dana 60 1972 Lattice theory, data types and semantics. Zbl 0279.68042Scott, Dana 7 1972 On polynomials in a polynomial. Zbl 0255.12101Evyatar, A.; Scott, D. B. 1 1972 Toward a mathematical semantics for computer languages. Zbl 0268.68004Scott, Dana; Strachey, Christopher 50 1971 The lattice of flow diagrams. Zbl 0228.68016Scott, Dana 17 1971 Ordinal definability. Zbl 0226.02048Myhill, John; Scott, Dana 10 1971 Advice on modal logic. Zbl 0295.02013Scott, Dana 27 1970 Constructive validity. Zbl 0206.28402Scott, D. 4 1970 Semantical archaeology: A parable. Zbl 0211.01002 1 1970 Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203Scott, D. 1 1970 Boolean models and nonstandard analysis. Zbl 0187.27101Scott, D. 6 1969 Natural lifts and the covariant systems of Todd. Zbl 0183.25601Scott, D. B. 4 1969 On completing ordered fields. Zbl 0188.32202Scott, D. 4 1969 Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201Scott, Dana 15 1968 Some definitional suggestions for automata theory. Zbl 0164.32103Scott, D. 36 1967 A proof of the independence of the continuum hypothesis. Zbl 0149.25302Scott, D. 20 1967 Assigning probabilities to logical formulas. Zbl 0202.29905Scott, Dana; Krauss, Peter 33 1966 Mathematical analysis. An introduction. Zbl 0136.34203Scott, D. B.; Tims, S. R. 3 1966 Some algebro-geometric fibre spaces. Zbl 0148.41601Scott, D. B. 1 1966 Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003Scott, Dana 34 1965 Measurement structures and linear inequalities. Zbl 0129.12102Scott, Dana 145 1964 Additions to some results of Erdős and Tarski. Zbl 0173.00803Monk, J. Donald; Scott, D. 6 1964 Invariant Borel sets. Zbl 0152.21304Scott, Dana 4 1964 Reduced direct products. Zbl 0108.00501Frayne, T.; Morel, A. C.; Scott, D. S. 53 1963 Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601Scott, D. 21 1962 Quine’s individuals. Zbl 0151.00904Scott, D. 4 1962 More on the axiom of extensionality. Zbl 0199.01403Scott, Dana 1 1962 Measurable cardinals and constructible sets. Zbl 0154.00702Scott, D. 36 1961 Tangent-direction bundles of algebraic varieties. Zbl 0100.35603Scott, D. B. 1 1961 The tangent direction bundle of an algebraic variety and generalized Jacobians of linear systems. Zbl 0124.37002Ingleton, A. W.; Scott, D. B. 1 1961 On a theorem of Rabin. Zbl 0173.00604Scott, D. 3 1960 Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403Scott, D. 1 1960 Finite automata and their decision problems. Zbl 0158.25404Rabin, M. O.; Scott, D. 312 1959 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 179 1959 Finite automata and their decision problems. Zbl 1461.68105Rabin, M. O.; Scott, D. 5 1959 The sentential calculus with infinitely long expressions. Zbl 0119.25002Scott, D.; Tarski, A. 9 1958 The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401Scott, Dana 6 1957 Equationally complete extensions of finite algebras. Zbl 0073.24602Scott, Dana 7 1956 A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502Scott, Dana 4 1956 A vector method for solving linear equations and inverting matrices. Zbl 0074.10702Roth, J. P.; Scott, D. S. 1 1956 Equational completeness of abstract algebras. Zbl 0073.24501Kalicki, Jan; Scott, Dana 25 1955 all cited Publications top 5 cited Publications all top 5 Cited by 2,303 Authors 37 Fishburn, Peter Clingerman 28 Erné, Marcel 27 Li, Qingguo 24 Shi, Fu-Gui 21 Zhang, Dexue 20 Kubiak, Tomasz 17 Induráin, Esteban 17 Jirásková, Galina 17 Xi, Xiaoyong 16 Höhle, Ulrich 16 Lawson, Jimmie Don 15 Xu, Xiaoquan 15 Zhao, Dongsheng 14 Kutrib, Martin 13 Bouyssou, Denis 13 Brown, Lawrence Michael 13 Holzer, Markus 13 Hötzel Escardó, Martín 13 Jäger, Gunther 13 Plotkin, Gordon D. 12 Gutiérrez García, Javier 12 Hofmann, Dirk 12 Luo, Maokang 12 Pultr, Aleš 12 Zhao, Bin 11 Vogler, Heiko 10 Dezani-Ciancaglini, Mariangiola 10 Edalat, Abbas 10 Engelfriet, Joost 10 Jung, Achim 10 Keimel, Klaus 10 Kopperman, Ralph David 10 Liu, Yingming 10 Pighizzini, Giovanni 10 Roberts, Fred S. 10 Solovyov, Sergey A. 9 Bezhanishvili, Guram 9 Geffert, Viliam 9 Guo, Lankun 9 Kudri, Soraya R. T. 9 Mislove, Michael W. 9 Paseka, Jan 9 Rosolini, Giuseppe 9 Spreen, Dieter 9 Valero, Oscar 9 Yildiz, Filiz 8 Estevan, Asier 8 Georgiou, Dimitrios N. 8 Hofmann, Karl Heinrich 8 Kou, Hui 8 Li, Shenggang 8 Longo, Giuseppe 8 Pirlot, Marc 8 Šostak, Alexander P. 8 Vardi, Moshe Ya’akov 8 Warner, Mary Wynne 7 Campión, María Jesús 7 Doignon, Jean-Paul 7 Ertürk, Rıza 7 Goubault-Larrecq, Jean 7 Harding, John 7 Humberstone, Lloyd 7 Karhumaki, Juhani 7 Mereghetti, Carlo 7 Palano, Beatrice 7 Priestley, Hilary A. 7 Santos, Eugene S. 7 Scott, Dana Stewart 7 Šešelja, Branimir 7 Smyth, Michael B. 7 Suppes, Patrick 7 Tepavčević, Andreja 7 Trenk, Ann N. 7 Xu, Luoshan 6 Alessi, Fabio 6 Candeal, Juan Carlos 6 Choffrut, Christian 6 Constable, Robert Lee 6 Culik, Karel II 6 Droste, Manfred 6 Falmagne, Jean-Claude 6 Fang, Jinming 6 Giarlotta, Alfio 6 Gierz, Gerhard 6 Ginsburg, Seymour 6 Grigorieff, Serge 6 Gunter, Carl A. 6 Harrison-Trainor, Matthew 6 Holliday, Wesley H. 6 Keisler, Howard Jerome 6 Künzi, Hans-Peter A. 6 Liang, Jihua 6 Majster-Cederbaum, Mila E. 6 Meseguer Guaita, José 6 Ronse, Christian 6 Vantaggi, Barbara 6 Winskel, Glynn 6 Zhang, Wenfeng 5 Adámek, Jiří 5 Aygün, Halis ...and 2,203 more Authors all top 5 Cited in 300 Serials 291 Theoretical Computer Science 175 Fuzzy Sets and Systems 87 Journal of Mathematical Psychology 80 Topology and its Applications 80 Annals of Pure and Applied Logic 68 Information and Computation 65 Journal of Computer and System Sciences 51 Algebra Universalis 46 Semigroup Forum 45 Studia Logica 44 Journal of Pure and Applied Algebra 44 Order 43 MSCS. Mathematical Structures in Computer Science 42 Applied Categorical Structures 30 Journal of Philosophical Logic 28 Information Sciences 28 Transactions of the American Mathematical Society 25 Mathematical Social Sciences 22 Information Processing Letters 21 Acta Informatica 21 Synthese 21 Archive for Mathematical Logic 20 Logical Methods in Computer Science 19 The Journal of Symbolic Logic 19 Mathematical Systems Theory 18 Notre Dame Journal of Formal Logic 16 Discrete Mathematics 16 Journal of Mathematical Analysis and Applications 16 Theory and Decision 15 Algebra and Logic 14 Advances in Mathematics 14 Soft Computing 14 Journal of Applied Logic 13 Cahiers de Topologie et Géométrie Différentielle Catégoriques 13 Journal of Algebra 13 Kybernetika 13 Proceedings of the American Mathematical Society 12 Artificial Intelligence 12 Israel Journal of Mathematics 12 The Review of Symbolic Logic 11 Quaestiones Mathematicae 11 Iranian Journal of Fuzzy Systems 10 Journal of Mathematical Economics 10 Journal of Automated Reasoning 10 Mathematical Logic Quarterly (MLQ) 9 Archiv für Mathematische Logik und Grundlagenforschung 9 Journal of Economic Theory 9 Siberian Mathematical Journal 9 International Journal of Approximate Reasoning 9 Journal of Functional Programming 8 Discrete Applied Mathematics 8 Archiv der Mathematik 8 RAIRO. Informatique Théorique et Applications 8 Indagationes Mathematicae. New Series 7 International Journal of Theoretical Physics 7 Psychometrika 7 Mathematische Zeitschrift 7 The Bulletin of Symbolic Logic 7 Acta Mathematica Sinica. English Series 7 Logic and Logical Philosophy 7 Cahiers de Topologie et Géométrie Différentielle Catégoriques 7 Bulletin of the American Mathematical Society 7 RAIRO. Theoretical Informatics and Applications 6 Compositio Mathematica 6 Czechoslovak Mathematical Journal 6 Mathematica Slovaca 6 Publications of the Research Institute for Mathematical Sciences, Kyoto University 6 RAIRO, Informatique Théorique 6 Cybernetics 6 Formal Aspects of Computing 6 European Journal of Operational Research 6 Theory of Computing Systems 6 RAIRO. Theoretical Informatics and Applications 6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 Communications in Algebra 5 Mathematical Notes 5 International Journal of Mathematics and Mathematical Sciences 5 Manuscripta Mathematica 5 Journal of Applied Non-Classical Logics 5 Topology Proceedings 5 Journal of Intelligent and Fuzzy Systems 4 Automatica 4 Computing 4 International Journal of Computer & Information Sciences 4 Journal of Combinatorial Theory. Series A 4 Mathematische Annalen 4 Programming and Computer Software 4 Rendiconti del Seminario Matematico della Università di Padova 4 SIAM Journal on Algebraic and Discrete Methods 4 Annals of Operations Research 4 International Journal of Foundations of Computer Science 4 International Journal of Computer Mathematics 4 Journal of Mathematical Imaging and Vision 4 Cybernetics and Systems Analysis 4 Economic Theory 4 Filomat 4 Abstract and Applied Analysis 4 Journal of Mathematical Logic 4 The Journal of Logic and Algebraic Programming 4 Logica Universalis ...and 200 more Serials all top 5 Cited in 51 Fields 886 Computer science (68-XX) 804 Mathematical logic and foundations (03-XX) 674 Order, lattices, ordered algebraic structures (06-XX) 495 General topology (54-XX) 318 Category theory; homological algebra (18-XX) 190 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 87 General algebraic systems (08-XX) 67 Group theory and generalizations (20-XX) 60 Probability theory and stochastic processes (60-XX) 45 Functional analysis (46-XX) 39 Combinatorics (05-XX) 33 Topological groups, Lie groups (22-XX) 26 Statistics (62-XX) 25 Operations research, mathematical programming (90-XX) 24 Algebraic geometry (14-XX) 24 Associative rings and algebras (16-XX) 24 Measure and integration (28-XX) 23 History and biography (01-XX) 23 Quantum theory (81-XX) 21 Algebraic topology (55-XX) 18 Information and communication theory, circuits (94-XX) 16 Real functions (26-XX) 13 Convex and discrete geometry (52-XX) 12 Commutative algebra (13-XX) 11 Systems theory; control (93-XX) 10 General and overarching topics; collections (00-XX) 10 Geometry (51-XX) 10 Manifolds and cell complexes (57-XX) 9 Number theory (11-XX) 9 Dynamical systems and ergodic theory (37-XX) 8 Operator theory (47-XX) 8 Numerical analysis (65-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Biology and other natural sciences (92-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Differential geometry (53-XX) 5 \(K\)-theory (19-XX) 5 Approximations and expansions (41-XX) 5 Relativity and gravitational theory (83-XX) 4 Nonassociative rings and algebras (17-XX) 3 Field theory and polynomials (12-XX) 2 Abstract harmonic analysis (43-XX) 1 Potential theory (31-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Integral transforms, operational calculus (44-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.