Gentzen's Logical Calculi - (the theory pamphlet)

The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.

Inhaltsverzeichnis

Gentzen's dissertation.- Natural deduction.- Sequent calculus.- Logical completeness.- Before and after Gentzen.

Zusammenfassung

The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.

Produktdetails

• Autoren: Curtis Franks
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 13.12.2025
• EAN: 9783031919985
• ISBN: 978-3-0-3191998-5
• Seiten: 102
• Illustration: XVIII, 102 p.
• Serie: SpringerBriefs in Philosophy
• Themen: Geisteswissenschaften, Kunst, Musik > Philosophie > Allgemeines, Lexika; Wissenschaftsphilosophie und -theorie, Philosophy of Science, Philosophical Logic, natural deduction, sequent calculus, Universal Property, Gentzen's Logical Calculi, Gerhard Gentzen, Completeness