{"product_id":"bimbo-katalin-proof-theory-9781466564664","title":"Proof Theory","description":"Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. The author presents a variety of proof systems for classical and non-classical logics and devotes chapters to proofs of cut theorems and decidability theorems.","brand":"Chapman and Hall\/CRC","offers":[{"title":"Default Title","offer_id":53700303880534,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781466564664_1.jpg?v=1778865019","url":"https:\/\/www.momoxbooks.com\/products\/bimbo-katalin-proof-theory-9781466564664","provider":"momoxbooks","version":"1.0","type":"link"}