| 書目名稱 | Leo Esakia on Duality in Modal and Intuitionistic Logics |
| 編輯 | Guram Bezhanishvili |
| 視頻video | http://file.papertrans.cn/585/584974/584974.mp4 |
| 概述 | Offers an overview and analysis of Leo Esakia’s contributions to the theory of modal and intuitionistic systems.Explores a wide range of Esakia’s work in the area with explanations and analyses by lea |
| 叢書名稱 | Outstanding Contributions to Logic |
| 圖書封面 |  |
| 描述 | .This volume is dedicated to Leo Esakia‘s contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area..Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the G?del-L?b provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.. |
| 出版日期 | Book 2014 |
| 關(guān)鍵詞 | Blok-Esakia theorem; Canonical extensions, Esakia spaces, universal models; Constructive modalities wi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-017-8860-1 |
| isbn_softcover | 978-94-024-0338-1 |
| isbn_ebook | 978-94-017-8860-1Series ISSN 2211-2758 Series E-ISSN 2211-2766 |
| issn_series | 2211-2758 |
| copyright | Springer Science+Business Media Dordrecht 2014 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 10:31
發(fā)表于 2025-3-21 17:53:09
