Curtis Franks: Gentzen's Logical Calculi

Cover: 9783031919985 | Gentzen's Logical Calculi | (the theory pamphlet) | Curtis Franks

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

50,35 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

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.

Über den Autor

Curtis Franks is an associate professor of Philosophy at the University of Notre Dame. He has been on the Philosophy faculty at Notre Dame since 2006. He earned B.A. degrees in Mathematics and Philosophy from Rice University in 2000 and a Ph.D. from the University of California in Irvine's Department of Logic and Philosophy of Science in 2006. Since 2019, he has been, with Anand Pillay, co-editor in chief of the Notre Dame Journal of Formal Logic. He is currently the director of Notre Dame's Joint Program in Logic and Foundations of Mathematics.

Inhaltsverzeichnis

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

Details

Erscheinungsjahr:	2026
Fachbereich:	Allgemeines
Genre:	Geisteswissenschaften , Kunst , Musik , Philosophie
Jahrhundert:	Antike
Rubrik:	Geisteswissenschaften
Thema:	Lexika
Medium:	Taschenbuch
Reihe:	SpringerBriefs in Philosophy
Inhalt:	xix 93 S.
ISBN-13:	9783031919985
ISBN-10:	303191998X
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Franks, Curtis
Hersteller:	Springer Springer International Publishing AG SpringerBriefs in Philosophy
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 7 mm
Von/Mit:	Curtis Franks
Erscheinungsdatum:	07.04.2026
Gewicht:	0,189 kg