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

DSpace Repository


Dateien:

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
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-838358
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-838358
Dokumentart: ConferenceObject
Date: 2018-08-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: Beweistheoretische Semantik
Automatisches Beweisen
Logic
Proof
Proof Theory
Deduction
Automated Theorem Proving
Proof-Theoretic Semantics
License: 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
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)