
Proof Theory June 25, 2018, Full Day
SCHEDULE
Workshop at
UNILOG'2018 organized
by
Peter SchroederHeister (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 nonclassical logics

proof editing

ordinal analysis

structural and substructural proof theory

prooftheoretic treatment of paradoxes

historical aspects of proof theory

prooftheoretic semantics
Abstracts (one page) should be sent by October 5, 2017 via email to:
cfpprooftheory@informatik.unituebingen.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 NonMonotonic and NonTransitive 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 LeszczynskaJasion
and Szymon Chlebowski,
Department of Logic and Cognitive Science, Adam Mickiewicz University, Poland,
"Distributive Deductive Systems: the case of the FirstOrder Logic"/em>
Enrico Moriconi,
Dipartimento di Civiltà e Forme del Sapere, Università di Pisa, Italy,
"Remarks on Sequent Calculus"
Lutz Strassburger,
INRIA Saclay  ÎledeFrance, Palaiseau, France,
"From Syntactic Proofs to Combinatorial Proofs"
Back to the 6th Universal Logic Congress
