Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Dieses Lehrbuch bietet eine ausführliche Einführung in die Methodik und die Anwendungen von Sequentenkalkülen in der Aussagenlogik. Im Gegensatz zu anderen Texten, die sich mit Beweistheorie befassen, liegt der Schwerpunkt auf der Veranschaulichung, wie man Sequentenkalküle verwendet, um eine breite Palette von metatheoretischen Ergebnissen zu beweisen. Die Darstellung ist elementar und in sich geschlossen, wobei alle technischen Details sowohl formal angegeben als auch informell erklärt werden. Zahlreiche Beweise werden durchgearbeitet, um Methoden zum Beweisen wichtiger Ergebnisse zu demonstrieren, wie z.B. der Satz von der Schnittelimination, Vollständigkeit, Entscheidbarkeit und Interpolation. Andere Beweise werden in Form von Übungsaufgaben präsentiert, die es dem Leser ermöglichen, die Techniken der Sequenzialrechnung zu üben.
Nach einer kurzen Einführung in die klassische Aussagenlogik werden drei Varianten des Sequentenkalküls und ihre Eigenschaften und Anwendungen vorgestellt. In den verbleibenden Kapiteln wird dann gezeigt, wie Sequentenkalküle erweitert, modifiziert und auf nicht-klassische Logiken angewendet werden können, einschließlich modaler, intuitionistischer, substruktureller und vielwertiger Logiken.
Sequents and Trees eignet sich für graduierte und fortgeschrittene Studenten der Logik, die Kurse über Beweistheorie und ihre Anwendung auf nicht-klassische Logiken belegen. Es wird auch für Forscher in der Informatik und Philosophen von Interesse sein.
| ISBN: | 9783030571443 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2020 |
| Seitenzahl: | 345 |
Derzeit verfügbar, auf Lager.
