Nonstandard Logics and Extensions
5 links
Infinitary Logic
plato.stanford.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 ma…
Logic System Interrelationships
cc.utah.edu
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
earlham.edu
A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
What are Weak Arithmetics
univ-paris12.fr
Notes defining the subject. Available in HTML and PS formats.
Showing 20–5 of 5 results