| 书目名称 | Sequents and Trees | | 副标题 | An Introduction to t | | 编辑 | Andrzej Indrzejczak | | 视频video | http://file.papertrans.cn/866/865408/865408.mp4 | | 概述 | Considers the methodology and techniques of sequent calculus to illustrate its use in proving a wide range of metatheoretical results.Includes many results and their proofs that are often not well kno | | 丛书名称 | Studies in Universal Logic | | 图书封面 |  | | 描述 | This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus..After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, andapplied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics..Sequents and Trees. is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application | | 出版日期 | Textbook 2021 | | 关键词 | Sequent Calculus; Cut Elimination; Hypersequent calculus; Non-classical logics; Modal logics; Proposition | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-57145-0 | | isbn_softcover | 978-3-030-57147-4 | | isbn_ebook | 978-3-030-57145-0Series ISSN 2297-0282 Series E-ISSN 2297-0290 | | issn_series | 2297-0282 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-7-29 19:00
发表于 2025-3-21 18:14:46
