Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Methods of Cut-Elimination

Methods of Cut-Elimination

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9789400703209
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Antibody Methods and Protocols

$109.99

Collocation Methods for Parabolic Equations in a Single Space Variable

$29.99

Numerical Simulation in Molecular Dynamics

$84.99

The Classic Jane Austen Collection: 6-Volume Box Set Edition by Jane Austen

$39.99

MARE-WINT

$59.99

Coordination and Communication Using Signs

$84.99

The Alien Next Door: The Mystery Valentine

$4.46

Swift Recipes for iOS Developers

$49.99

Deadline Scheduling for Real-Time Systems

$169.99

Jugendhilfe und Bildung

$49.99

Shaping the EU Global Strategy

$109.00

Human Ear Recognition by Computer

$109.99

The Fundamentals of Global Governance

$54.99

Peppa Pig: George's New Dinosaur

$3.74

Migration, Bildung und Spracherwerb

$39.99

Informatics and Management Science V

$219.99

Wandel im Personalmanagement

$59.99

Runtime Verification

$74.99

Scientific Materialism in Nineteenth Century Germany

$169.99

Advances in Mechanics of High-Temperature Materials

$109.99

Structure and Dynamics of Molecular Systems

$109.99

Introduction to Arakelov Theory

$119.99

Peirces Epistemology

$109.99

Maxillofacial Imaging

$109.00

A Controlled Phase Gate Between a Single Atom and an Optical Photon

$109.99

Natur und Wissenskulturen

$29.99

Exakte Algorithmen fr schwere Graphenprobleme

$29.99

Sustainable Asset Accumulation and Dynamic Portfolio Decisions

$109.99

Big Strategies for Business

$109.99

Cryptanalytic Attacks on RSA

$109.99

Placing Property

$32.99

Advances on Computational Intelligence in Energy

$84.99

Intelligent Distributed Computing VI

$129.00

Labour in Contemporary Capitalism

$99.99

Vorlagen fr die Erstberatung - Gesellschafts- und Erbrecht

$64.99

1, 2 at the Zoo

$5.24

Astromineralogy

$39.99

Responsible Living

$139.99

On the Device-Independent Approach to Quantum Physics

$109.99

Analytic and Plurisubharmonic Functions

$29.99