Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Ono, Hiroakira
Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html
Jaist.ac.jp ~ Site Info Whois Trace Route RBL Check

Van Dalen, Dirk
Utrecht University - Historical aspects of logic, philosophy of mathematics.
http://www.phil.uu.nl/~dvdalen/
Uu.nl ~ Site Info Whois Trace Route RBL Check

Levesque, Hector
University of Toronto - Knowledge representation.
http://www.cs.toronto.edu/~hector/
Toronto.edu ~ Site Info Whois Trace Route RBL Check

Lakemeyer, Gerhard
Aachen University of Technology - Knowledge-based systems.
http://www-i5.informatik.rwth-aachen.de/gerhard/
Rwth-aachen.de ~ Site Info Whois Trace Route RBL Check

Andrews, Peter B.
Carnegie Mellon University - Type theory, automated theorem proving.
http://gtps.math.cmu.edu/andrews.html
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Japaridze, Giorgi
Villanova University - computability logic, game semantics, provability logic.
http://www.csc.villanova.edu/~japaridz/
Villanova.edu ~ Site Info Whois Trace Route RBL Check

Barendregt, Henk
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
http://www.cs.ru.nl/~henk/
Ru.nl ~ Site Info Whois Trace Route RBL Check

Maddy, Penelope
University of California Irvine - Philosophy of logic and mathematics.
http://www.lps.uci.edu/home/fac-staff/faculty/maddy/
Uci.edu ~ Site Info Whois Trace Route RBL Check

Knight, Julia F.
University of Notre Dame - Recursion theory.
http://math.nd.edu/faculty/knight.shtml
Nd.edu ~ Site Info Whois Trace Route RBL Check

Cholak, Peter
University of Notre Dame - Recursion theory.
http://www.math.nd.edu/faculty/cholak.shtml
Nd.edu ~ Site Info Whois Trace Route RBL Check