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

Protocols for Micropropagation of Woody Trees and Fruits

$379.99

Fortschritte der Pdologie

$69.99

Bewertung von Eigentumswohnungen

$59.99

Integrierte Marketing-Logistik

$74.99

The Growing Spine

$279.99

Insights into the Chemistry of Organic Structure-Directing Agents in the Synthesis of Zeolitic Mater

$279.99

Soft Computing in Textile Sciences

$169.99

Introduction to International Arts Management

$69.99

Advances in Databases

$39.99

Advances in Intelligent Data Analysis XXII

$64.99

Optical Networks

$84.99

Kerygma und Tradition in der Hermeneutik Adolf Schlatters

$59.99

Die Stimme des Sngers

$79.99

Satellitentechnik

$39.99

Industrie 4.0

$99.99

Chatbot Research and Design

$64.99

Sustainability in Bank and Corporate Business Models

$179.99

La araa y la colmena

$3.71

Arbeitsrecht in der DDR

$59.99

Adhesion between polymers and concrete / Adhsion entre polymres et bton

$84.99

Resistenz von Kulturpflanzen gegen tierische Schaderreger

$59.99

Humanisierung des Mythos - Vergegenwrtigung der Tradition

$39.99

Smart Glasses

$49.99

Localizing Global Finance: The Rise of Western-Style Private Equity in China

$54.99

Die Bedeutung der Chromate fr die Gesundheit der Arbeiter

$59.99

Innovations in Dryland Agriculture

$189.00

Theorizing Complementary and Alternative Medicines

$84.99

Scholastic Text Sets Grade 1: Cycles in Nature

$95.00

Digital Signage am Point of Sale

$49.99

Collaborative Computing: Networking, Applications and Worksharing

$84.99

Rodent Transplant Medicine

$139.99

Living Ghosts and Mischievous Monsters

$11.24

Business Ethics and Critical Consultant Jokes

$37.99

Rntgendiagnostik des Herzens und der Gefsse / Roentgen Diagnosis of the Heart and Blood Vessels

$44.99

Artificial Intelligence (AI) and Customer Social Responsibility (CSR)

$279.99

Einfhrung in die Ganganalyse

$17.99

The White Other in American Intermarriage Stories, 19452008

$54.99

Die regionale Clustermarke

$69.99

Current Issues in Corporate Social Responsibility

$159.99

Einfhrung in die Limnologie

$34.99