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.
Download full text files
Additional Services
| 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 |
