skip to content
Methods of cut-elimination Preview this item
ClosePreview this item
Checking...

Methods of cut-elimination

Author: Matthias Baaz; Alexander Leitsch
Publisher: Dordrecht ; Heidelberg ; New York : Springer, ©2011.
Series: Trends in logic, v. 34.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Baaz, Matthias.
Methods of cut-elimination.
Dordrecht ; Heidelberg ; New York : Springer, c2011
(OCoLC)711694708
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Matthias Baaz; Alexander Leitsch
ISBN: 9789400703209 9400703201
OCLC Number: 704395501
Description: 1 online resource (vi, 287 pages).
Contents: 1. Preface --
2. Introduction --
3. Preliminaries --
4. Complexity of cut-elimination --
5. Reduction and elimination --
6. Cut-elimination by resolution --
7. Extensions of CERES --
8. Applications of CERES --
9. CERES in nonclassical logics --
10. Related research.
Series Title: Trends in logic, v. 34.
Responsibility: Matthias Baaz, Alexander Leitsch.
More information:

Abstract:

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/704395501>
library:oclcnum"704395501"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:copyrightYear"2011"
schema:creator
schema:datePublished"2011"
schema: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. M."@en
schema:description"1. Preface -- 2. Introduction -- 3. Preliminaries -- 4. Complexity of cut-elimination -- 5. Reduction and elimination -- 6. Cut-elimination by resolution -- 7. Extensions of CERES -- 8. Applications of CERES -- 9. CERES in nonclassical logics -- 10. Related research."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/793809970>
schema:genre"Electronic books"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Methods of cut-elimination"@en
schema:publication
schema:publisher
schema:url<http://site.ebrary.com/id/10439870>
schema:url<http://public.eblib.com/choice/publicfullrecord.aspx?p=666739>
schema:url<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=371865>
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBB0C0318>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.