Proof Theory
June 25, 2018, Full Day

 SCHEDULE 

Workshop at UNILOG'2018 organized by

Peter Schroeder-Heister
(University of Tübingen, Germany)
and
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: cfp-proof-theory@informatik.uni-tuebingen.de 

 

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"

Andreas Fjellstad, Department of Philosophy, University of Bergen, Norway, "Eliminating Cuts on Bullets"

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"

Farida Kachapova, School of Engineering, Computer & Mathematical Sciences, Auckland University of Technology, New Zealand, "Weak fragments of second order arithmetic"

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