Front end for the logic section of the mathematics e-print a
rXiv.
http://front.math.ucdavis.edu/math.LO
University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.
http://iml.univ-mrs.fr/~lafont/welcome.html
| Aristotle's Reform of Paideia |
Article by Evelyn Barker, arguing that the principal aim of Aristotle's Organon was to reform the contemporary paedagogical role of dialectic.
http://www.bu.edu/wcp/Papers/Anci/AnciBark.htm
A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute. The goal of the project is to develop and field advanced tools for knowledge representation and reasoning in Artificial Intelligence.
http://www.isi.edu/isd/LOOM/LOOM-HOME.html
Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004.
http://centria.di.fct.unl.pt/~jelia2004/
| University of Alberta Logic Course |
Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
http://ugweb.cs.ualberta.ca/~c272/
|
