



LEADER 
03808nmm a2200517 u 4500 
001 
EB002067573 
003 
EBX01000000000000001207663 
005 
00000000000000.0 
007 
cr 
008 
220922  eng 
020 


a 9780429099694

020 


a 9781322636467

020 


a 1466564660

020 


a 9781466564688

020 


a 9781466564664

020 


a 132263646X

020 


a 1466564687

050 

4 
a QA9.54

100 
1 

a Bimbó, Katalin

245 
0 
0 
a Proof theory
h [electronic resource]
b sequent calculi and related formalisms
c Katalin Bimbó, University of Alberta, Edmonton, Canada

260 


a Boca Raton
b CRC Press, Taylor & Francis Group
c 2015

300 


a x, 376 pages :
b illustrations

505 
0 

a Includes bibliographical references (pages 364374) and index

505 
0 

a 1. Proofs and proof theory  2. Classical firstorder logic  3. Variants of the first sequent calculi  4. Sequent calculi for nonclassical logics  5. Consecution calculi for nonclassical logics  6. Display calculi and hypersequents  7. Cut rules and cut theorems  8. Some other proof systems  9. Applications and applied calculi

653 


a MATHEMATICS / Set Theory / bisacsh

653 


a Proof theory / fast

653 


a Théorie de la preuve

653 


a MATHEMATICS / Arithmetic / bisacsh

653 


a MATHEMATICS / General / bisacsh

653 


a Proof theory / http://id.loc.gov/authorities/subjects/sh85107437

041 
0 
7 
a eng
2 ISO 6392

989 


b OREILLY
a O'Reilly

490 
0 

a Discrete mathematics and its applications

028 
5 
0 
a 10.1201/b17294

024 
8 

a 10.1201/b17294

773 
0 

t Online access: O'Reilly Media, Inc. O'Reilly Online Learning Platform: Academic edition (EZproxy Access)

776 


z 1466564687

776 


z 9781466564664

776 


z 042909969X

776 


z 9780429099694

776 


z 9781466564688

776 


z 1466564660

856 
4 
0 
u https://learning.oreilly.com/library/view/~/9781466564664/?ar
x Verlag
3 Volltext

082 
0 

a 510

082 
0 

a 511.3/6

520 


a "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 metalogical 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 nonclassical logics, from intuitionistic logic to relevance logic, through linear and modal logics. A particular version of sequent calculi, the socalled 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 nonclassical logic in particular"
