Sequents and Trees

An Introduction to the Theory and Applications of Propositional Sequent Calculi

Autor*innen

• Andrzej Indrzejczak

Parameter

• 364 Seiten
• 13 Lesestunden

• Mathematik
• Philosophie

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.

• Sprache: Englisch
• Erscheinungsdatum: 2021
• Einband: Paperback