Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981)

DSpace Repository

Show simple item record

dc.contributor.author Schroeder-Heister, Peter
dc.date.accessioned 2022-05-17T08:14:38Z
dc.date.available 2022-05-17T08:14:38Z
dc.date.issued 1981
dc.identifier.uri http://hdl.handle.net/10900/127091
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1270913 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-68454
dc.description.abstract As certain aspects of my doctoral dissertation of 1981 are still being discussed, I re- publish it here as an online resource in its original German form. It introduces the notion of rules of higher levels in order to give a general schema for the characterization of logical connectives in terms of rules. It also makes a proposal for a treatment of negation on the basis of a denial operator. It thus deals with core issues of proof-theoretic semantics. The German dissertation is accompanied by an English manuscript "Sentential Calculi with Rules of Arbitrary Levels" which gives a summary of central ideas and results of Chapters 1 and 2 of the dissertation. en
dc.language.iso de de_DE
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 Mathematische Logik , Aussagenlogik , Beweistheorie , Logische Partikel de_DE
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.ddc 510 de_DE
dc.subject.other Mathematical Logic en
dc.subject.other Beweistheoretische Semantik de_DE
dc.subject.other Regellogik de_DE
dc.subject.other Propositional Logic en
dc.subject.other Logical Connective en
dc.subject.other Proof-Theoretic Semantics en
dc.title Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) de_DE
dc.type Sonstiges de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.publikation.noppn yes de_DE


This item appears in the following Collection(s)

Show simple item record