rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Proof theory
    sub title: sequent calculi and related formalisms
  name:
    name part: Bimbó, Katalin
    name part: 1963-
    role:
      role term: creator
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: flu
    place:
      place term: Boca Raton
    publisher: CRC Press, Taylor & Francis Group
    date issued: [2015]
    date issued: 2015
    copyright date: 2015
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 376 pages :) illustrations.
  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"--
  table of contents: 1. Proofs and proof theory -- 2. Classical first-order logic -- 3. Variants of the first sequent calculi -- 4. Sequent calculi for non-classical logics -- 5. Consecution calculi for non-classical logics -- 6. Display calculi and hypersequents -- 7. Cut rules and cut theorems -- 8. Some other proof systems -- 9. Applications and applied calculi.
  note: Katalin Bimbó, University of Alberta, Edmonton, Canada.
  note: Includes bibliographical references (pages 364-374) and index.
  subject:
    topic: Proof theory
  subject:
    topic: Théorie de la preuve
  subject:
    topic: MATHEMATICS
    topic: General
  subject:
    topic: MATHEMATICS
    topic: Arithmetic
  subject:
    topic: MATHEMATICS
    topic: Set Theory
  subject:
    topic: Proof theory
  classification: QA9.54 .B55 2015
  classification: 511.3/6
  classification: MAT000000 MAT004000 MAT028000
  related item:
    title info:
      title: Online access: O'Reilly Media, Inc. O'Reilly Online Learning Platform: Academic edition (EZproxy Access)
  related item:
    title info:
      title: Discrete mathematics and its applications
  identifier: 9781466564664
  identifier: 1466564660
  identifier: 9781466564688
  identifier: 1466564687
  identifier: 9781322636467
  identifier: 132263646X
  identifier: 9780429099694
  identifier: 042909969X
  identifier: 2014022998
  identifier: CL0500000531 Safari Books Online
  identifier: https://proxy.library.tamu.edu/login
  record info:
    record content source: VT2
    record creation date: 140613
    record change date: 20260129204748.2
    record identifier: in00004670566
    language of cataloging:
      language term: eng