Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Subcategories 7
Sites 4
Loading new listings for you to review...
- 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.