Sponsored Links:
Linear Network (Popularity:  )
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 ...
|
Logic of programming (Popularity: )
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 ...
|
The Epsilon Calculus (Popularity: )
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.
|
Proof Theory on the Eve of Year 2000 (Popularity: )
http://www-logic.stanford.edu/proofsurvey.html
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
|
The Calculus of Structures (Popularity: )
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 ...
|
ProofTheory.ORG (Popularity: )
http://www.prooftheory.org/
Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds ...
|
Topics in Logic and Proof Theory (Popularity: )
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.
|
Proof Theory (Popularity: )
http://open-site.org/Science/Mathematics/Logic/Proof_Theory/
Open Encyclopedia entry. Hierarchically organized by subtopics.
|
G. Japaridze's Papers (Popularity: )
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 ...
|
Frogs Discussion Group (Popularity: )
http://news.gmane.org/group/gmane.science.mathematics.frogs/
Internet forum focused on the calculus of structures.
|
Japaridze, Giorgi (Popularity: )
http://www.csc.villanova.edu/~japaridz/
Villanova University, USA.
|
Artemov, Sergei (Popularity: )
http://www.cs.gc.cuny.edu/~sartemov/
City University of New York Graduate Center, USA.
|
Buss, Samuel (Popularity: )
http://math.ucsd.edu/~sbuss/
University of California, San Diego, USA.
|
Guglielmi, Alessio (Popularity: )
http://alessio.guglielmi.name/
Technical University of Dresden, Germany.
|
