Cargando…
Proof theory sequent calculi and related formalisms /
"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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boca Raton :
CRC Press, Taylor & Francis Group,
[2015]
|
| Colección: | Discrete mathematics and its applications.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | OR_on1300795208 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m d | ||
| 007 | cr n ||| | ||
| 008 | 140613t20152015flua ob 001 0 eng d | ||
| 010 | |a 2014022998 | ||
| 040 | |a VT2 |b eng |c VT2 |d UAB |d E7B |d YDXCP |d IDEBK |d UMI |d COO |d OCLCF |d DEBBG |d ERL |d UUM |d CEF |d U3W |d WYU |d YDX |d TYFRS |d LEAUB |d UKAHL |d MM9 |d QGJ |d LVT |d OCLCO |d OCLCQ |d SFB |d OCLCQ | ||
| 019 | |a 890721145 |a 900220446 |a 1066661716 |a 1124950809 |a 1172910106 |a 1180932279 |a 1302292165 | ||
| 020 | |a 9781466564664 |q (hardback) | ||
| 020 | |a 1466564660 |q (hardback) | ||
| 020 | |a 9781466564688 |q (e-book ; |q PDF) | ||
| 020 | |a 1466564687 |q (e-book ; |q PDF) | ||
| 020 | |a 9781322636467 |q (MyiLibrary) | ||
| 020 | |a 132263646X |q (MyiLibrary) | ||
| 020 | |a 9780429099694 |q (electronic bk.) | ||
| 020 | |a 042909969X |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000053790713 | |
| 029 | 1 | |a CHNEW |b 000667519 | |
| 029 | 1 | |a CHNEW |b 000688004 | |
| 029 | 1 | |a CHNEW |b 000688005 | |
| 029 | 1 | |a CHNEW |b 000886803 | |
| 029 | 1 | |a CHVBK |b 374457220 | |
| 029 | 1 | |a DEBBG |b BV042490780 | |
| 029 | 1 | |a DEBSZ |b 434839590 | |
| 029 | 1 | |a GBVCP |b 882844326 | |
| 029 | 1 | |a AU@ |b 000070349320 | |
| 035 | |a (OCoLC)1300795208 |z (OCoLC)890721145 |z (OCoLC)900220446 |z (OCoLC)1066661716 |z (OCoLC)1124950809 |z (OCoLC)1172910106 |z (OCoLC)1180932279 |z (OCoLC)1302292165 | ||
| 037 | |a CL0500000531 |b Safari Books Online | ||
| 050 | 4 | |a QA9.54 |b .B55 2015 | |
| 082 | 0 | 0 | |a 511.3/6 |2 23 |
| 084 | |a MAT000000 |a MAT004000 |a MAT028000 |2 bisacsh | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Bimbó, Katalin, |d 1963- | |
| 245 | 1 | 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 1 online resource (x, 376 pages :) |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Discrete mathematics and its applications | |
| 504 | |a Includes bibliographical references (pages 364-374) and index. | ||
| 505 | 0 | |a 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. | |
| 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 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"-- |c Provided by publisher. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Proof theory. | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Arithmetic. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Set Theory. |2 bisacsh | |
| 650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 773 | 0 | |t Online access: O'Reilly Media, Inc. O'Reilly Online Learning Platform: Academic edition (EZproxy Access) | |
| 776 | 0 | 8 | |i Print version: |z 9781466564664 |
| 830 | 0 | |a Discrete mathematics and its applications. | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781466564664/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 887 | |a QA9.54.B55 2015 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26319443 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780429099694 | ||
| 938 | |a ebrary |b EBRY |n ebr10907510 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis30548361 | ||
| 938 | |a YBP Library Services |b YANK |n 15917613 | ||
| 938 | |a YBP Library Services |b YANK |n 11615023 | ||
| 994 | |a 92 |b IZTAP | ||