New perspectives on some non-classical logical systems
- Ziel der Dissertation ist die Weiterentwicklung bestimmter Theoreme nichtklassischer Logiken aus vier unterschiedlichen Teilgebieten. Im Speziellen wird dabei folgendes gezeigt: 1) Eine beliebige n-wertige Łukasiewicz-Logik in einer Sprache bestehend nur aus Negation und Implikation lässt sich bzgl. Roman Suszkos These zweiwertig charakterisieren. 2) Es werden ein Vollständigkeits- und ein Korrektheitsbeweis für die biintuitionistische Logik bzgl. Arnold Koslows Implikationsstrukturen vorgestellt. 3) Es wird eine Kombination der parakonsistenten und paravollständigen Logik FDE und der nichtmonotonen Logik Circumscription unter Verwendung von Techniken von Marcel Crabbé vorgestellt. 4) John Kearns‘ nicht-deterministische hierarchische Semantiken für die Modallogiken T, S4 und S5 werden dahingehend weiterentwickelt, dass sie auch normale Modallogiken wie K, D und B und nicht-normale Subsysteme davon charakterisieren können.
Author: | Daniel SkurtGND |
---|---|
URN: | urn:nbn:de:hbz:294-57406 |
Referee: | Heinrich WansingORCiDGND, Graham PriestGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2018/06/19 |
Date of first Publication: | 2018/06/19 |
Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
Granting Institution: | Ruhr-Universität Bochum, Fakultät für Philosophie und Erziehungswissenschaft |
Date of final exam: | 2017/07/25 |
Creating Corporation: | Fakultät für Philosophie und Erziehungswissenschaft |
GND-Keyword: | Semantik; Modallogik; Mehrwertige Logik; Parakonsistente Logik; Intuitionistische Logik |
Dewey Decimal Classification: | Philosophie und Psychologie / Philosophie |
Licence (German): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |