Nonstandard Logics and Extensions Logic and Foundations Math









    Top: Science: Math: Logic and Foundations

Nonstandard Logics and Extensions


  • Computability Logic - Wikipedia (free encyclopedia) article.
  • What are Weak Arithmetics - Notes defining the subject. Available in HTML and PS formats.
  • Infinitary Logic - Article in the Stanford Encyclopaedia of Philosophy by logic and foundations John L. Bell. Infinitary Logic is a logic and foundations branch of formal logic where finitary formulae are logic and foundations replaced by potentially infinitary mathematical entities.
  • Non Standard Logics - A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
  • Logic System Interrelationships - Shows how a number of representative logics fit together. The math interrelationships usually given as something of the form: System X math is system Y plus the axiom Z. By John Halleck.


   MySQL - Cache Direct


  
Twitter