Computability Logic «
http://en.wikipedia.org/wiki/Computability_logic | | Wikipedia (free encyclopedia) article. |
Infinitary Logic «
http://plato.stanford.edu/entries/logic-infinitary/ | | 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. |
Logic System Interrelationships «
http://www.cc.utah.edu/~nahaj/logic/structures/ | | 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. |
Non Standard Logics «
http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm | | A comprehensive listing of flavours of non-standard logic with brief descriptions and references , compiled by peter suber. |
What are Weak Arithmetics «
http://www.univ-paris12.fr/lacl/jaf/html/wa.html | | Notes defining the subject. available in html and ps formats. |
