Proof-Theoretic Semantics

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/131190
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1311908
http://dx.doi.org/10.15496/publikation-72550
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1311904
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1311909
Dokumentart: Other
Date: 2022
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie
Other Keywords: Beweistheoretische Semantik
Proof Theory
Proof-Theoretic Semantics
Logic
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:

This manuscript is the first version of the entry "Proof-Theoretic Semantics" in the Stanford Encyclopedia of Philosophy, which was submitted in 2011. For the version which finally appeared in 2012 it was reduced to one third of its length, which means that there is significant unpublished content in this original version.

This item appears in the following Collection(s)