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