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 Repositorium (Manakin basiert)

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
Zitierfähiger Link (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: Konferenzveröffentlichung
Erscheinungsdatum: 2016-03
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
510 - Mathematik
Schlagworte: Logik , Beweis , Beweistheorie , Kategorientheorie , Deduktion
Freie Schlagwörter:
Logic
Proof
Proof Theory
Categorial Logic
Category Theory
Deduction
Proof-Theoretic Semantics
Dag Prawitz
Lizenz: 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
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

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.

Das Dokument erscheint in: