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

Show simple item record

dc.contributor.author Piecha, Thomas
dc.contributor.author Schroeder-Heister, Peter
dc.date.accessioned 2016-03-24T10:38:34Z
dc.date.available 2016-03-24T10:38:34Z
dc.date.issued 2016-03
dc.identifier.other 46278231X de_DE
dc.identifier.uri http://hdl.handle.net/10900/68977
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-689776 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-10394
dc.description.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. en
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podok de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en en
dc.subject.classification Logik , Beweis , Beweistheorie , Kategorientheorie , Deduktion de_DE
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.ddc 510 de_DE
dc.subject.other Logic en
dc.subject.other Proof en
dc.subject.other Proof Theory en
dc.subject.other Categorial Logic en
dc.subject.other Category Theory en
dc.subject.other Deduction en
dc.subject.other Proof-Theoretic Semantics en
dc.subject.other Dag Prawitz en
dc.title General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015 en
dc.type Konferenzveröffentlichung de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record