Science Central - All about Science

Saturday, 21 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Nonstandard Logics and Extensions UPDATE URL | REPORT BROKEN LINK

Logic System Interrelationships

 Popularity:    Hit: 196 | Visit: 7
Details
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.

Sponsored Links:


URL:
Title: John Halleck's Logic System Interrelationships
Description:

Category: Systems - Modal - Logic - Halleck - Axiomatic


Related sites
Non Standard Logics (Popularity: ): A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by ...
Infinitary Logic (Popularity: ): Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a ...
What are Weak Arithmetics (Popularity: ): Notes defining the subject. Available in HTML and PS formats.
Computability Logic (Popularity: ): Wikipedia (free encyclopedia) article.
Computational Tools for Modal Logic (Popularity: ): Resources collected by Renate Schmidt.
Modal Logic (Popularity: ): A discussion of modal logic by John McCarthy.
Modal Logic (Popularity: ): Originally the study of deductive behavior of the expressions `it is necessary that' and `it ...
Modal Logic (Popularity: ): Online book by J. Jay Zeman.
The Calculus of Structures - Modal Logics (Popularity: ): Several normal propositional modal logics are systematically presented in the calculus of structures and cut ...
Modality, Si! Modal Logic, No! (Popularity: ): Article by J. McCarthy on the use of modality in artificial intelligence.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact