Directory of Nonstandard Logics and Extensions Resources

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions

Subcategories

• Dynamic Logic
• Fuzzy Logic
• Intuitionistic Logic
• Many-valued Logic
• Modal Logic
• Substructural Logics
• Temporal Logic

Resources in This Category

• 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.

 

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us