| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-07-14T12:53:25Z |
|
| dc.date.available |
2022-07-14T12:53:25Z |
|
| dc.date.issued |
2015 |
|
| dc.identifier.isbn |
978-1-84890-172-8 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/129462 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294625 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-70825 |
|
| dc.description.abstract |
In the tradition of Dummett-Prawitz-style proof-theoretic semantics, which considers validity of derivations or proofs as one of its core notions, this paper sketches an approach to proof-theoretic validity based on elimination rules and assesses its merits and limitations. Some remarks are made on alternative approaches based on the idea of dualizing connectives and proofs, as well as on definitional reflection using elimination clauses. |
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 |
Natürliches Schließen |
de_DE |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Beseitigungsregeln |
de_DE |
| dc.subject.other |
Proof-theoretic Semantics |
en |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Natural Deduction |
en |
| dc.subject.other |
Elimination Rules |
en |
| dc.title |
Proof-theoretic Validity Based on Elimination Rules |
en |
| dc.type |
Article |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| utue.publikation.source |
Why is this a Proof? Festschrift for Luiz Carlos Pereira. Ed. by Edward Hermann Haeusler, Wagner de Campos Sanz & Bruno Lopes. London: College Publications 2015, pp. 159-176 |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
