Universal Logic

Proof Theory
June 25, 2018, Full Day

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"

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