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

DSpace Repositorium (Manakin basiert)

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
Zitierfähiger Link (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
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-939356
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-939358
Dokumentart: Konferenzveröffentlichung
Erscheinungsdatum: 2019-10-28
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
510 - Mathematik
Schlagworte: Logik , Beweis , Beweistheorie , Deduktion
Freie Schlagwörter: Automatisches Beweisen
Beweistheoretische Semantik
Logic
Proof
Proof Theory
Automated Theorem Proving
Proof-Theoretic Semantics
Deduction
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:

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.

Das Dokument erscheint in: