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
• Sachbücher
• Sozialwissenschaften
• Wissenschaft & Mathematik

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.

• Sprache: Englisch
• Erscheinungsdatum: 2020
• Einband: Hardcover