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 and metatheoretical results rather than just proof theory. It presents an elementary and self-contained approach, with formal and informal explanations of technical details. Readers will find numerous worked proofs, including key results like the cut-elimination theorem and completeness. Additionally, some proofs are left as exercises, enabling readers to practice and enhance their understanding of sequent calculus techniques.
Buchkauf
Sequents and Trees, Andrzej Indrzejczak
- Sprache
- Erscheinungsdatum
- 2020
- product-detail.submit-box.info.binding
- (Hardcover)
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
- 2020
- Einband
- Hardcover
- Seitenzahl
- 364
- ISBN13
- 9783030571443
- 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 and metatheoretical results rather than just proof theory. It presents an elementary and self-contained approach, with formal and informal explanations of technical details. Readers will find numerous worked proofs, including key results like the cut-elimination theorem and completeness. Additionally, some proofs are left as exercises, enabling readers to practice and enhance their understanding of sequent calculus techniques.