Science Central - All about Science

Sunday, 22 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Proof Theory UPDATE URL | REPORT BROKEN LINK

Mathematical Reasoning Group

 Popularity:    Hit: 206 | Visit: 1
Details
Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
Linear Network (Popularity: ): Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its ...
Logic of programming (Popularity: ): The "Logic of Programming" research team is interested in proof theory and its relations with ...
The Epsilon Calculus (Popularity: ): Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic ...
Proof Theory on the Eve of Year 2000 (Popularity: ): A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
The Calculus of Structures (Popularity: ): The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry ...
ProofTheory.ORG (Popularity: ): Basic material on proof theory and the home page of the only mailing list devoted ...
Topics in Logic and Proof Theory (Popularity: ): Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
Proof Theory (Popularity: ): Open Encyclopedia entry. Hierarchically organized by subtopics.
G. Japaridze's Papers (Popularity: ): Full list of publications by this author, with about 30 items in the area of ...
Frogs Discussion Group (Popularity: ): Internet forum focused on the calculus of structures.

© 2005-2008 Science Central. All Rights Reserved

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