.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Displaying Modal Logic
Heinrich Wansing
€ 188.16
FREE Delivery in Ireland
Description for Displaying Modal Logic
Hardback. Presents an introduction to Display Logic in the context of generalized Gentzen calculi. This book reviews several standard and non-standard sequent-style proof systems for modal logics. It motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N Belnap. Series: Trends in Logic. Num Pages: 252 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553.
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of ... Read more
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of ... Read more
Product Details
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Number of pages
252
Condition
New
Series
Trends in Logic
Number of Pages
252
Place of Publication
Dordrecht, Netherlands
ISBN
9780792352051
SKU
V9780792352051
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Displaying Modal Logic