Das Buch ist derzeit nicht auf Lager
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Autor*innen
Buchbewertung
Parameter
- 364 Seiten
- 13 Lesestunden
Mehr zum Buch
Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.
Buchkauf
Sequents and Trees, Andrzej Indrzejczak
- Sprache
- Erscheinungsdatum
- 2021
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Hier könnte deine Bewertung stehen.
- Titel
- Sequents and Trees
- Untertitel
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Sprache
- Englisch
- Autor*innen
- Andrzej Indrzejczak
- Erscheinungsdatum
- 2021
- Einband
- Paperback
- Seitenzahl
- 364
- ISBN13
- 9783030571474
- Reihe
- Schlagwörter
- Sachbücher, Sozialwissenschaften, Wissenschaft & Mathematik, Philosophie, Mathematik
- Bewertung
- 3 von 5 Sternen
- Beschreibung
- Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.