«Logic and Foundations»  : Proof Theory

  Web logic-and-foundations.math.sciencenter.work
«Logic and Foundations»  : Proof Theory Sites

Science Math Logic and Foundations Proof Theory
Science Math Logic and Foundations Proof Theory sites
Science Math Logic and Foundations Proof Theory
Science Math Logic and Foundations Proof Theory sites
Deep Inference
The calculus of structures is a new proof theoretical formalism. It exploits a top-down 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 proof-theoretic 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.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by logic-and-foundations.math.sciencenter.work

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites

Copyleft 2005 logic-and-foundations.math.sciencenter.work