Paradoxes and Structural Rules

DSpace Repository

Show simple item record

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

Dateien:

This item appears in the following Collection(s)

Show simple item record