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


Primary Entity

<http://www.worldcat.org/oclc/704395501> # Methods of cut-elimination
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "704395501" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793809970#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793809970#Place/dordrecht> ; # Dordrecht
    schema:about <http://experiment.worldcat.org/entity/work/data/793809970#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/793809970#Topic/mathematics> ; # Mathematics
    schema:about <http://dewey.info/class/511.36/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/793809970#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/84534750> ; # Alexander Leitsch
    schema:copyrightYear "2011" ;
    schema:creator <http://viaf.org/viaf/2724418> ; # Matthias Baaz
    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 <http://experiment.worldcat.org/entity/work/data/793809970#Series/trends_in_logic> ; # Trends in logic ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/711694708> ;
    schema:name "Methods of cut-elimination"@en ;
    schema:productID "704395501" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/704395501#PublicationEvent/dordrecht_heidelberg_new_york_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793809970#Agent/springer> ; # Springer
    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 <http://swb.eblib.com/patron/FullRecord.aspx?p=666739> ;
    schema:url <http://dx.doi.org/10.1007/978-94-007-0320-9> ;
    schema:workExample <http://worldcat.org/isbn/9789400703209> ;
    schema:workExample <http://dx.doi.org/10.1007/978-94-007-0320-9> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB0C0318> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/704395501> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/793809970#Series/trends_in_logic> # Trends in logic ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/704395501> ; # Methods of cut-elimination
    schema:name "Trends in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/793809970#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
    schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793809970#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
    schema:name "MATHEMATICS--Logic"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/2724418> # Matthias Baaz
    a schema:Person ;
    schema:familyName "Baaz" ;
    schema:givenName "Matthias" ;
    schema:name "Matthias Baaz" ;
    .

<http://viaf.org/viaf/84534750> # Alexander Leitsch
    a schema:Person ;
    schema:birthDate "1952" ;
    schema:familyName "Leitsch" ;
    schema:givenName "Alexander" ;
    schema:name "Alexander Leitsch" ;
    .

<http://worldcat.org/isbn/9789400703209>
    a schema:ProductModel ;
    schema:description "electronic bk." ;
    schema:isbn "9400703201" ;
    schema:isbn "9789400703209" ;
    .

<http://www.worldcat.org/oclc/711694708>
    a schema:CreativeWork ;
    rdfs:label "Methods of cut-elimination." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/704395501> ; # Methods of cut-elimination
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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