<電子ブック>
Heyting Algebras : Duality Theory / by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday
(Trends in Logic, Studia Logica Library. ISSN:22127313 ; 50)
版 | 1st ed. 2019. |
---|---|
出版者 | (Cham : Springer International Publishing : Imprint: Springer) |
出版年 | 2019 |
本文言語 | 英語 |
大きさ | XV, 95 p. 420 illus : online resource |
著者標目 | *Esakia, Leo author Bezhanishvili, Guram editor Holliday, Wesley H editor SpringerLink (Online service) |
件 名 | LCSH:Logic LCSH:Mathematical logic LCSH:Machine theory FREE:Logic FREE:Mathematical Logic and Foundations FREE:Formal Languages and Automata Theory |
一般注記 | Foreword -- Editor's Note -- Introduction -- Chapter 1. Preliminary Notions and Necessary Facts -- Chapter 2. Heyting Algebras and Closure Algebras -- Chapter 3. Duality Theory: Hybrids -- Appendix -- Bibliography 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 the lost second volume HTTP:URL=https://doi.org/10.1007/978-3-030-12096-2 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783030120962 |
|
電子リソース |
|
EB00226541 |
類似資料
この資料の利用統計
このページへのアクセス回数:1回
※2017年9月4日以降