Placeholder text

Go to cart

Proof Theory

By Katalin Bimbo

Proof Theory Computer Science

Proof Theory

By Katalin Bimbo

0 - Default Title
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.
Product details
Edition:
illustrated
Number of Pages:
388
Release Date:
2014-08-20
Publication Date:
2014-08-20
Publisher:
Chapman and Hall/CRC
Languages:
Original: English
ISBN10:
1466564660
ISBN13:
9781466564664
Weight:
746 g
Height:
161 cm
Width:
240 cm
Thickness:
25 cm
Buy on Amazon
Currently sold out