G. Japaridze's Papers «
http://www.csc.villanova.edu/~japaridz/study.html | | Full list of publications by this author , with about 30 items in the area of proof theory. many of the papers are downloadable. |
Linear Network «
http://iml.univ-mrs.fr/ldp/LINEAR/ | | Linear logic in computer science is lead by the " logic of programming" research team. its thematic is focused on developing the theory and the applications of linear logic. it is formed by seven sites located in marseille , bologna , cambridge , ed |
Logic of programming «
http://iml.univ-mrs.fr/ldp/welcome.html | | The " logic of programming" research team is interested in proof theory and its relations with theoretical computer science. the main topic is mathematical interpretation of proofs : nets (proof = graph) , denotational semantics (proof = function) |
Mathematical Reasoning Group «
http://dream.dai.ed.ac.uk/ | | Research group based in edinburgh , it is running on the interaction between logic , mathematics and informatics. links to publications , homepages , reports. |
Proof Theory «
http://open-site.org/Science/Mathematics/Logic/Proof_Theory/ | | Open encyclopedia entry. hierarchically organized by subtopics. |
Proof Theory as an Alternative to Model Theory «
http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html | | Short article by dale miller , arguing that logic programming languages should base their semantics on proof theory , not model theory. |
Proof Theory on the Eve of Year 2000 «
http://www-logic.stanford.edu/proofsurvey.html | | A survey consisting of 10 questions asked by solomon feferman and 29 responses. |
ProofTheory. ORG «
http://www.prooftheory.org/ | | Basic material on proof theory and the home page of the only mailing list devoted to proof theory , with hundreds of experts. |
The Calculus of Structures «
http://alessio.guglielmi.name/res/cos/index.html | | The calculus of structures is a new proof theoretical formalism. it exploits a top-down symmetry of derivations made possible by deep inference. |
The Epsilon Calculus «
http://plato.stanford.edu/entries/epsilon-calculus/ | | Discussion of david hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods. |
Topics in Logic and Proof Theory «
http://www.maths.bris.ac.uk/~maadb/research/topics/logic/ | | Brief introductions to combinatory logic , the incompleteness theorems and independence results , by andrew d burbanks. |
