(formerly Encyclopedic directory)
Directories
Home /
Top /
Science /
Math /
Logic and Foundations /
Directories
(formerly Encyclopedic directory)
|
 |
 |
|
Insert Article
Related articles
|
|
|
|
Webmasters: Add your website here:
Readers: Edit |
Discuss Listings
Research groups in Logic and Theoretical Computer Science
Maintained by Anton Setzer, Uppsala.
http://www.math.uu.se/logik/logic-server/index.html
Mathematical Logic around the world
A service provided by the Mathematical Logic Group in Bonn
http://www.uni-bonn.de/logic/world.html
Logic Programming
Section of WWW Virtual Library.
http://www.comlab.ox.ac.uk/archive/logic-prog.html
Logic and Set Theory
Groups and conferences.
http://www.math.ufl.edu/~jal/orgs.html
Computability Theory
Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak.
http://www.nd.edu/~cholak/computability/computability.html
Description Logics
Maintained by Carsten Lutz.
http://dl.kr.org/
Logic and Set Theory
Category of Topics in Mathematics (MathArchives).
http://archives.math.utk.edu/topics/logic.html
Logic Page
Maintained by Christian Gottschall, Vienna philosophy department.
http://logik.phl.univie.ac.at/~chris/logic.html
Stanford Encyclopedia of Logic Technology
A compendium of information including theoretical material, an index to currently available technology, and a survey of applications.
http://logic.stanford.edu/selt/selt.html
Logic Links
Gustavus Philosophy Department.
http://www.gac.edu/oncampus/academics/philosophy/llogic.html
ASL members
List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
http://www.math.ucla.edu/~hbe/aslweb.html
Formal Logic
Directory of encyclopedia articles and related websites. [epistemelinks.com]
http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi
Logic on the World Wide Web
Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
http://www-phil.tamu.edu/Philosophy/logic.html
Australian Logic Home Page
Lists institutions, research groups and individuals; updated 1996.
http://www.cse.unsw.edu.au/~ksg/AusLogic/
Knowledge Representation
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
http://www.cs.man.ac.uk/~franconi/kr.html
Mathematical Logic and Foundations
Section of Math Guide.
http://www.MathGuide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03
Logic Related Links
By Christian Urban.
http://www.cl.cam.ac.uk/~cu200/logic.html
|
|
