| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-08-24T09:22:15Z |
|
| dc.date.available |
2022-08-24T09:22:15Z |
|
| dc.date.issued |
2022 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/131190 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1311908 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-72550 |
|
| dc.description.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. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Beweistheorie |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
Beweistheoretische Semantik |
de_DE |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Proof-Theoretic Semantics |
en |
| dc.subject.other |
Logic |
en |
| dc.title |
Proof-Theoretic Semantics |
en |
| dc.type |
Other |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
