Sponsored Links
Foundation & Endowment
Strategic Policy Analysis of Spending and Investments.
www.winklevoss.com
Foundation Repair
Repair/Install Concrete Foundation. Get Competing Estimates Today!
www.servicemagic.com
Logic Analyzers by NCI
NCI's PC Hosted Logic Analyzer Up to 72 Channels USB 2.0 interface
www.nci-usa.com
Directory Sites
A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
www.earlham.edu
Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
plato.stanford.edu
Logic System Interrelationships
Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X is system Y plus the axiom Z. By John Halleck.
www.cc.utah.edu
Notes defining the subject. Available in HTML and PS formats.
www.univ-paris12.fr
Wikipedia (free encyclopedia) article.
en.wikipedia.org