Guest! Login/Join

DomainTools.com
Whois Domain Search Domain Suggestions For Sale Sales History Auction Search Domain Monitor Domain Directory
Ping Traceroute My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more>
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert

 

Nonstandard Logics And Extensions


Directory > Science > Math > Logic_and_Foundations > Nonstandard Logics and Extensions

Dynamic_Logic@ (1)Fuzzy_Logic (15)Intuitionistic_Logic (13)
Many-valued_Logic (5)Modal_Logic (27)Substructural_Logics (46)
Temporal_Logic (8)


378 Listings - DR (7/10)378 Listings - DR (7/10) 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.
1,861 Listings - DR (6/10)1,861 Listings - DR (6/10) 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.
7,463 Listings - DR (2/10)7,463 Listings - DR (2/10) Computability Logic - http://en.wikipedia.org/wiki/Computability_logic
Wikipedia (free encyclopedia) article.
23 Listings - DR (0/10)23 Listings - DR (0/10) What are Weak Arithmetics - http://www.univ-paris12.fr/lacl/jaf/html/wa.html
Notes defining the subject. Available in HTML and PS formats.
70 Listings - DR (0/10)70 Listings - DR (0/10) 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.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains