To register, click here

Regular rates
(register after April 15):
Rutgers affiliate, not volunteering
: $75
Academic: $200
Non-academic/industry: $400

Rutgers students volunteering: free!


Proof Theory: Logical and Philosophical Aspects

Proof theory is the study of formal proof systems. We will focus on sequent systems, which are proof systems in which one reasons about consequence statements, e.g. A, B |- C. Sequent systems, in contrast to some proof systems, usually contain few axioms but have many rules.

In this course, we present an introduction to the proof theory, with a special interest in its interdisciplinary applications. The tools and techniques of proof theory can be applied to systems representing a range of phenomena, including resource-sensitivity, formal grammar, and relevance.

  • Class 1: standard results for classical logic, including the Cut Elimination Theorem
  • Class 2: generalisation to substructural logics
  • Classes 3 and 4: generalisations to normal modal logics and two dimensional modal logics, incluing labelled sequents, tree sequents and hypersequents
  • Class 5: connections between sequent systems and model construction, and connections with philosophical issues.

The class assumes no particular technical background.

Course Website

Greg Restall

Greg Restall
University of Melbourne

Shawn Standefer

Shawn Standefer
University of Melbourne



Copyright ©2015, Rutgers, The State University of New Jersey