

Science Math Logic and Foundations Proof Theory Science Math Logic and Foundations Proof Theory sites ProofTheory.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Proof Theory Science Math Logic and Foundations Proof Theory sites ProofTheory.LogicandFoundations.Math.sciencesites.work 

Deep Inference The calculus of structures is a new proof theoretical formalism. It exploits a topdown symmetry of derivations made possible by deep inference. alessio.guglielmi.name/res/cos/ 

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. plato.stanford.edu/entries/prooftheorydevelopment/ 

Epsilon Calculus Discussion of David Hilbert's development of this type of logical formalism with emphasis on prooftheoretic methods. plato.stanford.edu/entries/epsiloncalculus/ 

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. www.csc.villanova.edu/~japaridz/study.html 

Mathematical Reasoning Group Research group based in Edinburgh , it is running on the interaction between logic , mathematics and informatics. Links to publications , homepages , reports. dream.dai.ed.ac.uk/ 

Proof Theory Open Encyclopedia entry. Hierarchically organized by subtopics. opensite.org/Science/Mathematics/Logic/Proof_Theory/ 

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. www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html 

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. cs.bath.ac.uk/ag/pt/ 

Proof Theory on the Eve of Year 2000 A survey consisting of 10 questions asked by Solomon Feferman and 29 responses. www.ihes.fr/~carbone/papers/proofsurveyFeferman2000.html 
