Search:
Home  About  Submit Site    
   		 
  1. Home
  2. Science
  3. Math
  4. Logic and Foundations
  5. Nonstandard Logics and Extensions  90 Sites
Categories
Fuzzy Logic
People 9 Sites Intuitionistic Logic
Martin-Löf's Type Theory 9 Sites Many-valued Logic
No sub-categories 4 Sites
Modal Logic
People, Provability and Interpretability Logics 22 Sites Substructural Logics
Linear Logic, Relevance Logic 36 Sites Temporal Logic
No sub-categories 6 Sites
Sites [ Submit ]
Computability Logic - Wikipedia (free encyclopedia) article. Non Standard Logics - A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber. Infinitary Logic - 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 - 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.
Click [ Submit ] above to Add a New Site, Update a Site, or Remove a Site from this Category.
This directory is made available through a Creative Commons Attribution license from the DMOZ Organization.

© 2025 - Midnight Design Productions, LLC