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

Infinitary Logic

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

Sponsored Links:


URL:
Title: Infinitary Logic
Description:

Category:


Related sites
Non Standard Logics (Popularity: ): A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by ...
Logic System Interrelationships (Popularity: ): Shows how a number of representative logics fit together. The interrelationships usually given as something ...
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