Proof-theoretic Validity Based on Elimination Rules

DSpace Repositorium (Manakin basiert)

Proof-theoretic Validity Based on Elimination Rules

Schroeder-Heister, Peter
Dateien:
Thumbnail
506. KB
PDF
Zitierfähiger Link (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: Wissenschaftlicher Artikel
Erscheinungsdatum: 2015
Originalveröffentlichung: 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
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie
Freie Schlagwörter: Beweistheoretische Semantik
Natürliches Schließen
Beseitigungsregeln
Proof Theory
Proof-theoretic Semantics
Logic
Natural Deduction
Elimination Rules
ISBN: 978-1-84890-172-8
Lizenz: 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
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

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.

Das Dokument erscheint in: