skip to content
Proof theory : sequent calculi and related formalisms Preview this item
ClosePreview this item
Checking...

Proof theory : sequent calculi and related formalisms

Author: Katalin Bimbó
Publisher: Boca Raton : CRC Press, [2014] ©2015
Series: Discrete mathematics and its applications.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
"Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Bimbó, Katalin, 1963-
Proof theory
(DLC) 2014022998
(OCoLC)793224670
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Katalin Bimbó
ISBN: 9781466564688 1466564687
OCLC Number: 888186535
Description: 1 online resource (x, 374 pages).
Contents: Front Cover; Contents; Preface; Chapter 1: Proofs and proof theory; Chapter 2: Classical first-order logic; Chapter 3: Variants of the first sequent calculi; Chapter 4: Sequent calculi for non-classical logics; Chapter 5: Consecution calculi for non-classical logics; Chapter 6: Display calculi and hypersequents; Chapter 7: Cut rules and cut theorems; Chapter 8: Some other proof systems; Chapter 9: Applications and applied calculi; Appendix A: Some supplementary concepts; Bibliography.
Series Title: Discrete mathematics and its applications.
Responsibility: Katalin Bimbo.

Abstract:

"Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal of this book is to provide a fairly comprehensive view of sequent calculi -- including a wide range of variations. The focus is on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, through linear and modal logics. A particular version of sequent calculi, the so-called consecution calculi, have seen important new developments in the last decade or so. The invention of new consecution calculi for various relevance logics allowed the last major open problem in the area of relevance logic to be solved positively: pure ticket entailment is decidable. An exposition of this result is included in chapter 9 together with further new decidability results (for less famous systems). A series of other results that were obtained by J.M. Dunn and me, or by me in the last decade or so, are also presented in various places in the book. Some of these results are slightly improved in their current presentation. Obviously, many calculi and several important theorems are not new. They are included here to ensure the completeness of the picture; their original formulations may be found in the referenced publications. This book contains very little about semantics, in general, and about the semantics of non-classical logic in particular"--

Reviews

Editorial reviews

Publisher Synopsis

"Katalin Bimbo is one of the leading relevance logicians in the world today and indeed one of the leading non-classical logicians in general. Her book on proof theory takes readers through standard Read more...

 
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/888186535> # Proof theory : sequent calculi and related formalisms
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "888186535" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1107205163#Topic/mathematics_general> ; # MATHEMATICS--General
    schema:about <http://experiment.worldcat.org/entity/work/data/1107205163#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1107205163#Topic/mathematics_arithmetic> ; # MATHEMATICS--Arithmetic
    schema:about <http://experiment.worldcat.org/entity/work/data/1107205163#Topic/beweistheorie> ; # Beweistheorie
    schema:about <http://dewey.info/class/511.36/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1107205163#Topic/mathematics_set_theory> ; # MATHEMATICS--Set Theory
    schema:author <http://experiment.worldcat.org/entity/work/data/1107205163#Person/bimbo_katalin_1963> ; # Katalin Bimbó
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2015" ;
    schema:datePublished "2014" ;
    schema:description "Front Cover; Contents; Preface; Chapter 1: Proofs and proof theory; Chapter 2: Classical first-order logic; Chapter 3: Variants of the first sequent calculi; Chapter 4: Sequent calculi for non-classical logics; Chapter 5: Consecution calculi for non-classical logics; Chapter 6: Display calculi and hypersequents; Chapter 7: Cut rules and cut theorems; Chapter 8: Some other proof systems; Chapter 9: Applications and applied calculi; Appendix A: Some supplementary concepts; Bibliography."@en ;
    schema:description ""Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal of this book is to provide a fairly comprehensive view of sequent calculi -- including a wide range of variations. The focus is on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, through linear and modal logics. A particular version of sequent calculi, the so-called consecution calculi, have seen important new developments in the last decade or so. The invention of new consecution calculi for various relevance logics allowed the last major open problem in the area of relevance logic to be solved positively: pure ticket entailment is decidable. An exposition of this result is included in chapter 9 together with further new decidability results (for less famous systems). A series of other results that were obtained by J.M. Dunn and me, or by me in the last decade or so, are also presented in various places in the book. Some of these results are slightly improved in their current presentation. Obviously, many calculi and several important theorems are not new. They are included here to ensure the completeness of the picture; their original formulations may be found in the referenced publications. This book contains very little about semantics, in general, and about the semantics of non-classical logic in particular"--"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1107205163> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1107205163#Series/discrete_mathematics_and_its_applications> ; # Discrete mathematics and its applications.
    schema:isSimilarTo <http://www.worldcat.org/oclc/793224670> ;
    schema:name "Proof theory : sequent calculi and related formalisms"@en ;
    schema:productID "888186535" ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829463> ;
    schema:url <http://dx.doi.org/10.1201/b17294> ;
    schema:url <http://www.crcnetbase.com/isbn/9781466564688> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1605166> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1605166> ;
    schema:workExample <http://worldcat.org/isbn/9781466564688> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/888186535> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1107205163#Person/bimbo_katalin_1963> # Katalin Bimbó
    a schema:Person ;
    schema:birthDate "1963" ;
    schema:familyName "Bimbó" ;
    schema:givenName "Katalin" ;
    schema:name "Katalin Bimbó" ;
    .

<http://experiment.worldcat.org/entity/work/data/1107205163#Series/discrete_mathematics_and_its_applications> # Discrete mathematics and its applications.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/888186535> ; # Proof theory : sequent calculi and related formalisms
    schema:name "Discrete mathematics and its applications." ;
    schema:name "Discrete mathematics and its applications" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/1107205163#Topic/mathematics_set_theory> # MATHEMATICS--Set Theory
    a schema:Intangible ;
    schema:name "MATHEMATICS--Set Theory"@en ;
    .

<http://worldcat.org/isbn/9781466564688>
    a schema:ProductModel ;
    schema:isbn "1466564687" ;
    schema:isbn "9781466564688" ;
    .

<http://www.worldcat.org/oclc/793224670>
    a schema:CreativeWork ;
    rdfs:label "Proof theory" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/888186535> ; # Proof theory : sequent calculi and related formalisms
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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