| 书目名称 | Displaying Modal Logic | | 编辑 | Heinrich Wansing | | 视频video | | | 丛书名称 | Trends in Logic | | 图书封面 |  | | 描述 | 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 sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every | | 出版日期 | Book 1998 | | 关键词 | Cut-elimination theorem; Extension; logic; modal logic; nonmonotonic reasoning; predicate logic; proof; sem | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-017-1280-4 | | isbn_softcover | 978-90-481-5079-3 | | isbn_ebook | 978-94-017-1280-4Series ISSN 1572-6126 Series E-ISSN 2212-7313 | | issn_series | 1572-6126 | | copyright | Springer Science+Business Media Dordrecht 1998 |
The information of publication is updating
|
|
发表于 2025-3-21 17:22:57
