Topics in the proof theory of non-classical logics
- \(\textbf {Kapitel 1}\) führt in die Gentzen-Kalküle aus logischer und philosophischer Sicht ein. Es diskutiert die Generalisierung des Gentzen'schen Sequenzkalküls und Eigenschaften guter Inferenzsysteme. Gentzen-artige Sequenzialkalküle werden in syntaktische und semantische Generalisierung unterteilt. \(\textbf {Kapitel 2}\) behandelt die Ursprünge und Entwicklung von Jaśkowskis diskursiver Logik und analysiert Verbindungen zur Modallogik und Beweistheorie. \(\textbf {Kapitel 3}\) konzentriert sich auf die Beweistheorie der diskursiven Logik im Gentzen-Stil. \(\textbf {Kapitel 4}\) erforscht die Gentzen'sche Beweistheorie der relevanten Logiken mittels gelabelter Sequenzkalküle. \(\textbf {Kapitel 5}\) untersucht die Beweistheorie einer modalen Erweiterung der intuitionistischen Aussagenlogik mit "Aktualitäts"-Operator. \(\textbf {Kapitel 6}\) schließt die Untersuchungen ab und gibt Ausblicke auf die Forschung in der Dissertation.
Author: | Fabio De Martin PoloGND |
---|---|
URN: | urn:nbn:de:hbz:294-106796 |
DOI: | https://doi.org/10.13154/294-10679 |
Subtitle (English): | philosophy and applications |
Referee: | Heinrich WansingORCiDGND, Hitoshi OmoriGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2023/10/19 |
Date of first Publication: | 2023/10/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: | 2023/07/17 |
Creating Corporation: | Fakultät für Philosophie und Erziehungswissenschaft |
GND-Keyword: | Logik; Philosophie der Logik; Beweistheorie; Nichtklassische Logik; Erkenntnistheorie |
Institutes/Facilities: | Institut für Philosophie I |
Dewey Decimal Classification: | Philosophie und Psychologie / Philosophie |
faculties: | Fakultät für Philosophie und Erziehungswissenschaft |
Licence (German): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |