Science Central - All about Science

Tuesday, 16 March, 2010
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

Inductive Definitions in Type Theory

 Popularity:    Hit: 39 | Visit: 1
Details
Internet resource accompanying a graduate course given by Peter Dybjer.

Sponsored Links:


URL:
Title: Inductive Definitions in Type Theory
Description:

Category:


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 ...
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 ...

© 2005-2010 Science Central. All Rights Reserved

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