Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Schmidt, Renate
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
http://www.cs.man.ac.uk/~schmidt/
Man.ac.uk ~ Site Info Whois Trace Route RBL Check

Scott, Dana
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
http://www.cs.cmu.edu/~scott/
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Vlad, Serban E.
Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
http://site.voila.fr/serban_e_vlad/
Voila.fr ~ Site Info Whois Trace Route RBL Check

Setzer, Anton
Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
http://www.math.uu.se/~setzer/
Uu.se ~ Site Info Whois Trace Route RBL Check

Shore, Richard A.
Cornell University - Recursion theory.
http://www.math.cornell.edu/~shore/
Cornell.edu ~ Site Info Whois Trace Route RBL Check

Sipser, Michael
MIT - Complexity theory.
http://www-math.mit.edu/~sipser/index.html
Mit.edu ~ Site Info Whois Trace Route RBL Check

Slaman, Theodore A.
University of California, Berkeley - Recursion theory.
http://www.math.berkeley.edu/~slaman/
Berkeley.edu ~ Site Info Whois Trace Route RBL Check

Soare, Robert I.
University of Chicago - Recursion theory.
http://www.cs.uchicago.edu/~soare/
Uchicago.edu ~ Site Info Whois Trace Route RBL Check

Solovay, Robert M.
University of California, Berkeley - Proof theory.
http://www.math.berkeley.edu/~solovay/
Berkeley.edu ~ Site Info Whois Trace Route RBL Check

Wansing, Heinrich
Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of logic, philosophy of language.
http://www.uni-leipzig.de/~logik/wansing/wansing.html
Uni-leipzig.de ~ Site Info Whois Trace Route RBL Check