| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-07-14T12:43:49Z |
|
| dc.date.available |
2022-07-14T12:43:49Z |
|
| dc.date.issued |
2012 |
|
| dc.identifier.isbn |
978-1-84890-086-8 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/129461 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294610 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-70824 |
|
| dc.description.abstract |
The derivation of many paradoxes can be blocked, if the application of structural rules is locally restricted in certain ways. This is shown independently for identity, contraction, and cut. Imposing such local restrictions is seen as an alternative to the global rejection of structural rules (notably contraction), which is no reasonable option given that structural rules are needed in mathematical reasoning. |
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 |
Paradoxien |
de_DE |
| dc.subject.other |
Strukturregeln |
de_DE |
| dc.subject.other |
Proof-theoretic Semantics |
en |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Paradoxes |
en |
| dc.subject.other |
Structural Rules |
en |
| dc.title |
Paradoxes and Structural Rules |
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 |
Insolubles and Consequences. Essays in Honour of Stephen Read. Ed. by Catarina Dutilh Novaes & Ole Thomassen Hjortland. London: College Publications 2012, pp. 203-211. |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
