Dana Scott

Job title: 
Visitor
Research area: 
Mathematical Logic
Research interests: 

Foundations of logic and mathematics, semantics of programming languages

Role: 
Visitor
Faculty
Dana Scott

Contact

scott@andrew.cmu.edu
731 Evans Hall

Publications

Intensional and Higher- Order Modal Logic

Daniel Gallin; Leon Albert Henkin; Dana Scott
PhD Thesis (Author field refers to student + advisor), 1972

Studies in algebraic Logic

Daniel B. Demaree; Leon Albert Henkin; Dana Scott
PhD Thesis (Author field refers to student + advisor), 1970

Probability Logic

Peter Holger Krauss; Leon Albert Henkin; Dana Scott
PhD Thesis (Author field refers to student + advisor), 1966

Decision Problems for Equational Theories of Semigroups and General Algebras

Peter Graham Perkins; Dana Scott
PhD Thesis (Author field refers to student + advisor), 1966

Infinitely Long Formulas with Countable Quantifier Degrees

Edgar George Kenneth Lopez-Escobar; Dana Scott
PhD Thesis (Author field refers to student + advisor), 1965

Contributions to the Study of the Independence of the Axiom of Choice

James Daniel Halpern; Dana Scott
PhD Thesis (Author field refers to student + advisor), 1962
All publications