Proof-theoretic Validity Based on Elimination Rules

DSpace Repository

Proof-theoretic Validity Based on Elimination Rules

Schroeder-Heister, Peter
Dateien:
Thumbnail
506. KB
PDF
URI: http://hdl.handle.net/10900/129462
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294625
http://dx.doi.org/10.15496/publikation-70825
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294629
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294624
Dokumentart: Article
Date: 2015
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
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
Natürliches Schließen
Beseitigungsregeln
Proof Theory
Proof-theoretic Semantics
Logic
Natural Deduction
Elimination Rules
ISBN: 978-1-84890-172-8
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:

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.

This item appears in the following Collection(s)