Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-theoretic Semantics

DSpace Repositorium (Manakin basiert)

Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-theoretic Semantics

Schroeder-Heister, Peter
Dateien:
Thumbnail
250. KB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/129454
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294544
http://dx.doi.org/10.15496/publikation-70817
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294544
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294543
Dokumentart: Wissenschaftlicher Artikel
Erscheinungsdatum: 2009
Originalveröffentlichung: The Logica Yearbook 2008, ed. by Michal Peliš. London: College Publiations 2009, pp. 237-251
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
Proof Theory
Proof-theoretic Semantics
Logic
Natural Deduction
ISBN: 978-1-904987-46-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:

It is argued that the sequent calculus is more appropriate to model hypothetical reasoning than the calculus of natural deduction. Here "sequent calculus" is understood in a very general way which includes what might be called a "natural-deduction-style sequent calculus", that is, a natural deduction system with bidirectional rules.

Das Dokument erscheint in: