We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£75.84
Springer Methods of Cut-Elimination: 34 (Trends in Logic, 34)
Price data last checked 46 day(s) ago - refreshing...
Price History & Forecast
Last 10 days • 10 data points (No recent data available)
Price Distribution
Price distribution over 10 days • 1 price levels
Price Analysis
Most common price: £76 (10 days, 100.0%)
Price range: £76 - £76
Price levels: 1 different prices over 10 days
Description
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\”utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given. The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G\"odel logic.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9400734972
- Domain
- Amazon UK
- Publication Date
- 25 February 2013
- Listed Since
- 08 February 2013
Barcode
No barcode data available
Similar Products You Might Like
92% match
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
£95.00
20 Feb 2026
91% match
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
£99.53
05 Mar 2026
91% match
First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)
Springer
£40.31
09 Feb 2026
91% match
A Formalization of Set Theory without Variables (Colloquium Publications)
£84.96
07 Jan 2026
91% match
Springer - Cut Elimination in Categories: 6 (Trends in Logic)
Springer
£120.96
20 Feb 2026
91% match
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
Springer
£99.83
12 Apr 2026
91% match
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
Springer
£99.53
05 Mar 2026
91% match
Springer - Gerhard Gentzen's Shorthand Notes on Logic
Springer
£110.68
24 Feb 2026
90% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
90% match
Automated Model Building: 31 (Applied Logic Series, 31)
Springer
£110.46
13 Jan 2026
90% match
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
£85.00
08 Mar 2026
90% match
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
£105.95
07 Mar 2026
90% match
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Springer
£97.00
24 Feb 2026
90% match
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Springer
£61.26
26 Feb 2026
90% match
Introduction to Logic
Routledge
£129.92
13 Jan 2026
90% match
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
Springer
£78.74
12 Jan 2026
90% match
Springer Well-Quasi Orders in Computation, Logic and Reasoning
Springer
£125.20
02 Mar 2026
90% match
Eliminating The Universe: Logical Properties Of Natural Language
Scientific Publishing
£62.93
02 Feb 2026
90% match
Constructive Models (Siberian School of Algebra and Logic)
Springer
£146.67
10 Mar 2026
90% match
Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)
Morgan & Claypool
£79.95
25 Feb 2026
90% match
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
£71.00
26 Feb 2026
90% match
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
£68.39
23 Feb 2026
90% match
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
£85.45
08 Jan 2026
90% match
Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)
Springer
£89.03
27 Feb 2026