LEADER 03937oam 2200589I 450 001 9910787963303321 005 20170821195701.0 010 $a0-429-09969-X 010 $a1-4665-6468-7 024 7 $a10.1201/b17294 035 $a(CKB)2670000000560198 035 $a(EBL)1605166 035 $a(SSID)ssj0001289577 035 $a(PQKBManifestationID)11725742 035 $a(PQKBTitleCode)TC0001289577 035 $a(PQKBWorkID)11230434 035 $a(PQKB)11139457 035 $a(OCoLC)890721145 035 $a(MiAaPQ)EBC1605166 035 $a(OCoLC)888186535 035 $a(CaSebORM)9781466564664 035 $a(EXLCZ)992670000000560198 100 $a20180331h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProof theory $esequent calculi and related formalisms /$fKatalin Bimbo, University of Alberta Edmonton, Canada 210 1$aBoca Raton :$cCRC Press,$d[2015] 210 4$dİ2015 215 $a1 online resource (386 p.) 225 1 $aDiscrete Mathematics and its Applications 300 $aDescription based upon print version of record. 311 $a1-322-63646-X 311 $a1-4665-6466-0 320 $aIncludes bibliographical references. 327 $aFront 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 330 $aSequent 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--$cProvided by publisher. 410 0$aDiscrete mathematics and its applications. 606 $aProof theory 615 0$aProof theory. 676 $a511.3/6 676 $a511.36 686 $aMAT000000$aMAT004000$aMAT028000$2bisacsh 700 $aBimbo$b Katalin$f1963,$01573634 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910787963303321 996 $aProof theory$93849449 997 $aUNINA LEADER 04026nam 22006375 450 001 9910254935103321 005 20251113181347.0 010 $a3-319-24301-2 024 7 $a10.1007/978-3-319-24301-6 035 $a(CKB)3710000000498793 035 $a(EBL)4068153 035 $a(DE-He213)978-3-319-24301-6 035 $a(MiAaPQ)EBC4068153 035 $a(PPN)228319498 035 $a(EXLCZ)993710000000498793 100 $a20151027d2016 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMan-made Catastrophes and Risk Information Concealment $eCase Studies of Major Disasters and Human Fallibility /$fby Dmitry Chernov, Didier Sornette 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (354 p.) 300 $aDescription based upon print version of record. 311 08$a3-319-24299-7 327 $aPreface -- Setting the landscape -- Examples of risk information concealment practice -- Causes of risk information concealment -- Major on-going cases with information concealment practice -- Succesful risk information management. 330 $aThis book discusses the risks of information concealment in the context of major natural or industrial disasters ? offering detailed descriptions and analyses of some 25 historical cases (Three Mile Island nuclear accident, Bhopal disaster, Challenger Space Shuttle explosion, Chernobyl nuclear disaster, Deepwater Horizon oil spill, Fukushima-Daiichi nuclear disaster, Enron?s bankruptcy, Subprime mortgage crisis, Worldwide Spanish flu and SARS outbreaks, etc.) and applying these insights to selected on-going cases where such information concealment is suspected. Some successful examples of preventive anti-concealment practice are also presented. In the book, the term ?concealment? is used to represent the two distinct behaviors uncovered in the investigations: (i) facts and information about an organization and its functioning being hidden from those that need them ? here the concealment can be due to various factors, such as complexity and miscommunication, to name but two ? and (ii) the conscious and deliberate action of keeping important information secret or misrepresenting it. This second meaning makes up a surprisingly important part of the evidence presented. Accordingly, emphasis has been put on this second aspect and the approach is more pragmatic than academic, remaining focused on evidence-based practical and useful factors. It raises awareness and provides valuable lessons for decision- makers, risk specialists and responsible citizens alike. This work is also intended as a fact-based reference work for future academic and scholarly investigations on the roots of the problem, in particular regarding any psychological or sociological modeling of human fallibility. . 606 $aBusiness logistics 606 $aPollution 606 $aSecurity systems 606 $aBusiness ethics 606 $aEnvironmental economics 606 $aSupply Chain Management 606 $aPollution 606 $aSecurity Science and Technology 606 $aBusiness Ethics 606 $aEnvironmental Economics 615 0$aBusiness logistics. 615 0$aPollution. 615 0$aSecurity systems. 615 0$aBusiness ethics. 615 0$aEnvironmental economics. 615 14$aSupply Chain Management. 615 24$aPollution. 615 24$aSecurity Science and Technology. 615 24$aBusiness Ethics. 615 24$aEnvironmental Economics. 676 $a650 700 $aChernov$b Dmitry$4aut$4http://id.loc.gov/vocabulary/relators/aut$0911353 702 $aSornette$b Didier$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910254935103321 996 $aMan-made Catastrophes and Risk Information Concealment$92288967 997 $aUNINA