Nonstandard Logics and Extensions

Non Standard Logics 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. Rank: 0.00/5 reviews(0) Votes: 0 1 2 3 4 5

Infinitary Logic 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. Rank: 0.00/5 reviews(0) Votes: 0 1 2 3 4 5

Logic System Interrelationships 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. keywords: systems, modal, axiomatic Rank: 0.00/5 reviews(0) Votes: 0 1 2 3 4 5

What are Weak Arithmetics www.univ-paris12.fr/lacl/jaf/html/wa.html Notes defining the subject. Available in HTML and PS formats. Rank: 0.00/5 reviews(0) Votes: 0 1 2 3 4 5

Computability Logic en.wikipedia.org/wiki/Computability_logic Wikipedia (free encyclopedia) article. keywords: stubs, unsourced, turing, statements, reasoning, october, mathematical, articles, alan, al-kindi Rank: 0.00/5 reviews(0) Votes: 0 1 2 3 4 5