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

DSpace Repository


Dateien:

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
Dokumentart: Aufsatz
Date: 2009
Source: The Logica Yearbook 2008, ed. by Michal Peliš. London: College Publiations 2009, pp. 237-251
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
Proof Theory
Proof-theoretic Semantics
Logic
Natural Deduction
ISBN: 978-1-904987-46-8
License: Publishing license including print on demand
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)