- Advances in Modal Logic (AiML)
Bi-annual workshop and book series in Modal Logic.
turing.wins.uva.nl/~mdr/AiML
- Bibliography on Linear Logic
By-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
www.cs.cmu.edu/~carsten/linearbib/linearbib.html
- Front for the Mathematics ArXiv: Logic
Collection of articles maintained at Los Alamos.
front.math.ucdavis.edu/math.LO
- Web Directory: Mathematical Logic Around the World
Links to sites related to the study of logic. Lists journals, events, and organizations.
www.uni-bonn.de/logic/world.html
- Probability Theory as Extended Logic
Collection of articles and papers by E. T. Jaynes, Phil Gregory, Tom Loredo, Davis MacKay, and others.
bayes.wustl.edu
- Mathematical Logic and Foundations
Introduction from The Mathematical Atlas.
www.math.niu.edu/~rusin/known-math/index/03-XX.html
- Logical Frameworks
Provides pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers.
www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html
- Around Goedel's Theorem
Hyper-textbook for students in mathematical logic.
www.ltn.lv/~podnieks
- Factasia Logic
Technical and philosophical information concerning symbolic logic and its applications.
www.rbjones.com/rbjpub/logic
- Abstract Service for Mathematical Logic
Collection from the Institute for Logic at the University of Vienna.
www.logic.univie.ac.at/abstract
- Frege, Gottlob (1848-1925)@
dir.yahoo.com/.../Philosophers/Frege__Gottlob__1848_1925_
|
Help us improve the Yahoo! Directory - Share your ideas