Project Hertz FoSPT – Paul Hertz and his Foundation of Structural Proof Theory

Basic data

Acronym:
Hertz FoSPT
Title:
Paul Hertz and his Foundation of Structural Proof Theory
Duration:
01/01/2016 to 31/12/2018
Abstract / short description:
The project has the overall aim of demonstrating the influence that the fundamental tenets underlying Paul Hertz' sentence calculus (as established in publications between 1922 and 1929) have on proof theory. The first phase of the project aims to elaborate in detail the historical significance of Hertz' contributions, specifically their role in the development of the sequent calculus. In the second phase of the project the striking correspondences between Hertz' original tenets and the paradigms of several current schools in structural proof theory will be presented and discussed.
Keywords:
sequent calculus
sentence systems
structural reasoning

Involved staff

Managers

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Contact persons

Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.