Proof theory : (Record no. 31691)

MARC details
000 -LEADER
fixed length control field 02749 a2200253 4500
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2014022998
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781466564664
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.54
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.36
084 ## - OTHER CLASSIFICATION NUMBER
Number source bisacsh
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
-- 32144
-- 32144
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bimbo, Katalin
245 1b - TITLE STATEMENT
Title Proof theory :
Remainder of title Sequent calculi and related formalisms
Statement of responsibility, etc. Katalin Bimbo, University of Alberta, Edmonton, Canada
300 ## - PHYSICAL DESCRIPTION
Extent x, 376 p. :
Other physical details ill. ;
Dimensions 25 cm
490 0# - SERIES STATEMENT
Series statement Discrete mathematics and its applications
546 ## - LANGUAGE NOTE
Language note eng
500 ## - GENERAL NOTE
General note Bibliografie p. 364<br/>Index p. 375
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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 ## - SUMMARY, ETC.
Summary, etc. "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"--
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Proof theory.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Arithmetic
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Set Theory
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Institution code [OBSOLETE] IMAR
Koha item type Carti
Call number prefix 511.36
Serial record flag EP
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        IMAR IMAR 03/21/2024 PRIOR MEDIA GROUP SRL 266.00 Mcc 9956   511.36-BIM 0036558   1 03/21/2024 Carti

Powered by Koha