General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015

DSpace Repository

General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015

Piecha, Thomas; Schroeder-Heister, Peter
Dateien:
Thumbnail
9.19 MB
PDF
URI: http://hdl.handle.net/10900/68977
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-689776
http://dx.doi.org/10.15496/publikation-10394
Dokumentart: ConferenceObject
Date: 2016-03
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Keywords: Logik , Beweis , Beweistheorie , Kategorientheorie , Deduktion
Other Keywords:
Logic
Proof
Proof Theory
Categorial Logic
Category Theory
Deduction
Proof-Theoretic Semantics
Dag Prawitz
License: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Order a printed copy: Print-on-Demand
Show full item record

Abstract:

General proof theory studies how proofs are structured and how they relate to each other, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory. As Dag Prawitz's monograph "Natural Deduction" (1965) paved the way for this development (he also proposed the term "General Proof Theory"), it is most appropriate to use this topic to celebrate 50 years of this work. The conference took place 27-29 November, 2015 in Tübingen at the Department of Philosophy. The proceedings collect abstracts, slides and papers of the presentations given, as well as contributions from two speakers who were unable to attend.

This item appears in the following Collection(s)