Proof Theory
June 25, 2018, Full Day


Workshop at UNILOG'2018 organized by

Peter Schroeder-Heister
(University of Tübingen, Germany)
Thomas Piecha
(University of Tübingen, Germany)

Proof theory is one of the core disciplines of mathematical and philosophical logic that needs no further explanation or advertising.

Call for papers

We invite contributions on all aspects of proof theory, philosophical or technical. Topics include:

  • general proof theory
  • categorial proof theory
  • type theory (including foundations)
  • computational aspects of proofs
  • consistency
  • proof systems for non-classical logics
  • proof editing
  • ordinal analysis
  • structural and substructural proof theory
  • proof-theoretic treatment of paradoxes
  • historical aspects of proof theory
  • proof-theoretic semantics

Abstracts (one page) should be sent by October 5, 2017 via e-mail to: 


Keynote Speakers

Francesca Poggiolesi - Alexander Leitsch
CNRS, Paris - Technical University of Vienna, Austria

Contributing Speakers

Michael Arndt, Department of Computer Science, University of Tübingen, Germany, "Tomographs for Substructural Display Logic"

René Gazzari, Department of Computer Science, University of Tübingen, Germany, "The Existence of Pure Proofs"

Ulf Hlobil, Department of Philosophy, Concordia University, Canada, "Extensions of Non-Monotonic and Non-Transitive Atomic Bases"

Gerard Renardel de Lavalette, Faculty of Science and Engineering, University of Groningen, The Netherlands, "The mathematics of derivability"

Dorota Leszczynska-Jasion and Szymon Chlebowski, Department of Logic and Cognitive Science, Adam Mickiewicz University, Poland, "Distributive Deductive Systems: the case of the First-Order Logic"/em>

Enrico Moriconi, Dipartimento di Civiltà e Forme del Sapere, Università di Pisa, Italy, "Remarks on Sequent Calculus"

Lutz Strassburger, INRIA Saclay - Île-de-France, Palaiseau, France, "From Syntactic Proofs to Combinatorial Proofs"

Back to the 6th Universal Logic Congress