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

DSpace Repository


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
Proof Theory
Automated Theorem Proving
Proof-Theoretic Semantics
License: Publishing license including print on demand
Order a printed copy: Print-on-Demand
Show full item record


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)