Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Logic_and_Foundations/Proof_Theory
Top
:
Science
:
Math
:
Logic and Foundations
:
Proof Theory
(13)
People
(4)
Provability and Interpretability Logics
@
(8)
See also:
Science: Math: Logic and Foundations: Computational Logic: Automated Reasoning
(1)
Deep Inference
 The calculus of structures is a new proof theoretical formalism. It exploits a topdown symmetry of derivations made possible by deep inference.
Development of Proof Theory (Stanford Encyclopedia of Philosophy)
 An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, analysis, natural deduction, and sequent calculus.
Epsilon Calculus
 Discussion of David Hilbert's development of this type of logical formalism with emphasis on prooftheoretic methods.
G. Japaridze's Papers
 Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable.
Mathematical Reasoning Group
 Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.
Proof Theory
 Open Encyclopedia entry. Hierarchically organized by subtopics.
Proof Theory as an Alternative to Model Theory
 Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
Proof Theory Mailing List
 Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites, archive of messages.
Proof Theory on the Eve of Year 2000
 A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
"
Proof Theory
" search on:
AOL

Ask

Bing

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982015 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: October 8, 2013 at 13:15:11 UTC 
edit