Sites

The Epsilon Calculus (Popularity: )

Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic ...

Beklemishev, Lev (Popularity: )

Utrecht University, Netherlands and Steklov Mathematical Institute, Russia.

Topics in Logic and Proof Theory (Popularity: )

Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.

Logic of programming (Popularity: )

The "Logic of Programming" research team is interested in proof theory and its relations with ...

Proof Theory on the Eve of Year 2000 (Popularity: )

A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.

Mathematical Reasoning Group (Popularity: )

Research group based in Edinburgh, it is running on the interaction between logic, mathematics and ...

Guglielmi, Alessio (Popularity: )

Technical University of Dresden, Germany.

ProofTheory.ORG (Popularity: )

Basic material on proof theory and the home page of the only mailing list devoted ...

Proof Theory (Popularity: )

Open Encyclopedia entry. Hierarchically organized by subtopics.

G. Japaridze's Papers (Popularity: )

Full list of publications by this author, with about 30 items in the area of ...

Linear Network (Popularity: )

Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its ...

The Calculus of Structures (Popularity: )

The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry ...

Artemov, Sergei (Popularity: )

City University of New York Graduate Center, USA.

Frogs Discussion Group (Popularity: )

Internet forum focused on the calculus of structures.

Japaridze, Giorgi (Popularity: )

Villanova University, USA.

Buss, Samuel (Popularity: )

University of California, San Diego, USA.