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

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/127091
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1270913
http://dx.doi.org/10.15496/publikation-68454
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1270915
Dokumentart: Other
Date: 1981
Language: German
English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Keywords: Mathematische Logik , Aussagenlogik , Beweistheorie , Logische Partikel
Other Keywords: Beweistheoretische Semantik
Regellogik
Mathematical Logic
Propositional Logic
Logical Connective
Proof-Theoretic Semantics
License: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)