Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019

DSpace Repository

Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019

Piecha, Thomas; Schroeder-Heister, Peter
Dateien:
Thumbnail
41.9 MB
PDF
URI: http://hdl.handle.net/10900/93935
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-939353
http://dx.doi.org/10.15496/publikation-35319
Dokumentart: Konferenzveröffentlichung
Date: 2019-10-28
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Keywords: Logik , Beweis , Beweistheorie , Deduktion
Other Keywords: Automatisches Beweisen
Beweistheoretische Semantik
Logic
Proof
Proof Theory
Automated Theorem Proving
Proof-Theoretic Semantics
Deduction
License: Publishing license including print on demand
Order a printed copy: Print-on-Demand
Show full item record

Abstract:

The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the University of Tübingen from the 27th to the 30th of March 2019. These proceedings contain all abstracts, the slides of most presentations and also a number of full papers, including a transcript of the talk by Per Martin-Löf.

This item appears in the following Collection(s)