|
|
Science Math Logic and Foundations Proof Theory
Science Math Logic and Foundations Proof Theory sites
Proof-Theory.Logic-and-Foundations.Math.sciencenter.work |
|
Science Math Logic and Foundations Proof Theory
Science Math Logic and Foundations Proof Theory sites
Proof-Theory.Logic-and-Foundations.Math.science-sites.work |
|
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.
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/proof-theory-development/ |
|
Epsilon Calculus
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.
plato.stanford.edu/entries/epsilon-calculus/ |
|
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.
open-site.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 |
|