书目名称 | Heyting Algebras |
副标题 | Duality Theory |
编辑 | Leo Esakia,Guram Bezhanishvili,Wesley H. Holliday |
视频video | http://file.papertrans.cn/427/426080/426080.mp4 |
概述 | Presents an English translation of an influential 1985 Russian monograph by Leo Esakia.Details important insights into duality theory for Heyting algebras.Includes information about the planned conten |
丛书名称 | Trends in Logic |
图书封面 |  |
描述 | .This book presents an English translation of a classic Russian text on duality theory.for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved.popular among Russian-speaking logicians. This translation helps make the ideas.accessible to a wider audience and pays tribute to an influential mind in mathematical.logic. .The book discusses the theory of Heyting algebras and closure algebras, as.well as the corresponding intuitionistic and modal logics. The author introduces the.key notion of a hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke.frames), resulting in the structures now known as Esakia spaces. The main theorems.include a duality between the categories of closure algebras and of hybrids, and a duality.between the categories of Heyting algebras and of so-called strict hybrids..Esakia’s book was originally published in 1985. It was the firstof a planned two-volume monograph.on Heyting algebras. But after the collapse of the Soviet Union, the publishing house.closed and the project died with it. Fortunately, this important work now lives on in.this accessible translation. The Appendix of the book discusses the planned contents.of th |
出版日期 | Book 2019 |
关键词 | Heyting Algebra; Intuitionistic Logic; Intermediate Logics; Modal Logic; Closure Algebra; Stone Space; Esa |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-12096-2 |
isbn_softcover | 978-3-030-12098-6 |
isbn_ebook | 978-3-030-12096-2Series ISSN 1572-6126 Series E-ISSN 2212-7313 |
issn_series | 1572-6126 |
copyright | Springer Nature Switzerland AG 2019 |