Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018

DSpace Repositorium (Manakin basiert)

Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018

Piecha, Thomas (Hrsg.); Schroeder-Heister, Peter (Hrsg.)
Dateien:
Thumbnail
5.48 MB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/83835
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-838354
http://dx.doi.org/10.15496/publikation-25225
Dokumentart: Konferenzveröffentlichung
Erscheinungsdatum: 2018-08-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: Beweistheoretische Semantik
Automatisches Beweisen
Logic
Proof
Proof Theory
Deduction
Automated Theorem Proving
Proof-Theoretic Semantics
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 workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018. It was part of Unilog'2018, the 6th World Congress and School on Universal Logic. The proceedings collect abstracts, slides and papers of the presentations given.

Das Dokument erscheint in: