Gentzen's Logical Calculi: (The Theory Pamphlet)
暫譯: 根岑的邏輯計算：理論小冊子
Franks, Curtis
- 出版商: Springer
- 出版日期: 2026-04-07
- 售價: $2,630
- 貴賓價: 9.5 折 $2,498
- 語言: 英文
- 頁數: 93
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303191998X
- ISBN-13: 9783031919985
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
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.
商品描述(中文翻譯)
《理論小冊子》介紹了 Gerhard Gentzen 的自然推理法和序列計算，重點在於形式主義背後的理論。其五個章節作為一本進階邏輯教科書，介紹了普遍性質、證明正規化技術，以及針對古典邏輯、直覺邏輯和線性邏輯的決策程序。相同的內容也作為一篇哲學論文，描述了邏輯完備性概念的三種不同方式之間的意義、重要性和關係。大部分內容以前從未以系統化和易於理解的方式呈現過。
作者簡介
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.
作者簡介(中文翻譯)
庫爾蒂斯·弗蘭克斯（Curtis Franks）是聖母大學（University of Notre Dame）哲學系的副教授。他自2006年以來一直在聖母大學的哲學系任教。他於2000年在萊斯大學（Rice University）獲得數學和哲學的學士學位，並於2006年在加州大學爾灣分校（University of California in Irvine）邏輯與科學哲學系獲得博士學位。自2019年以來，他與阿南德·皮萊（Anand Pillay）共同擔任《聖母大學形式邏輯期刊》（Notre Dame Journal of Formal Logic）的主編。目前，他是聖母大學邏輯與數學基礎聯合計畫的主任。
