| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-07-14T09:15:16Z |
|
| dc.date.available |
2022-07-14T09:15:16Z |
|
| dc.date.issued |
2009 |
|
| dc.identifier.isbn |
978-1-904987-46-8 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/129454 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294544 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-70817 |
|
| dc.description.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. |
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 |
Proof Theory |
en |
| dc.subject.other |
Natürliches Schließen |
de_DE |
| dc.subject.other |
Proof-theoretic Semantics |
en |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Natural Deduction |
en |
| dc.title |
Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-theoretic Semantics |
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 |
The Logica Yearbook 2008, ed. by Michal Peliš. London: College Publiations 2009, pp. 237-251 |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
