.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Gentzen Calculi for Modal Propositional Logic
Francesca Poggiolesi
€ 187.49
FREE Delivery in Ireland
Description for Gentzen Calculi for Modal Propositional Logic
Hardback. This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones. Series: Trends in Logic. Num Pages: 224 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 181 x 247 x 21. Weight in Grams: 672.
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the ... Read more
Show Less
Product Details
Format
Hardback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
224
Condition
New
Series
Trends in Logic
Number of Pages
224
Place of Publication
Dordrecht, Netherlands
ISBN
9789048196692
SKU
V9789048196692
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Gentzen Calculi for Modal Propositional Logic
From the reviews: “This book is mainly devoted to an extensive presentation of the author’s original formalisation of modal logics called tree-hypersequent calculus but other approaches are also discussed at length. … This book is a valuable contribution to the subject of proof techniques for modal logics. The presentation is clear with a detailed but readable account of technical ... Read more