國立虎尾科技大學 |

Heyting Algebras = Duality Theory /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Heyting Algebras/ by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday.
其他題名:	Duality Theory /
作者:	Esakia, Leo.
其他作者:	Bezhanishvili, Guram.
面頁冊數:	XV, 95 p. 420 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-030-12096-2
ISBN:	9783030120962

Heyting Algebras = Duality Theory /
Esakia, Leo.

Heyting AlgebrasDuality Theory /[electronic resource] :by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday. - 1st ed. 2019. - XV, 95 p. 420 illus.online resource. - Trends in Logic, Studia Logica Library,501572-6126 ;. - Trends in Logic, Studia Logica Library,42.

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 first of 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.

ISBN: 9783030120962

Standard No.: 10.1007/978-3-030-12096-2doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Heyting Algebras = Duality Theory /
LDR:02878nam a22004095i 4500 001 1005797
003 DE-He213
005 20200703011331.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030120962 $9 978-3-030-12096-2
024 7 $a 10.1007/978-3-030-12096-2 $2 doi
035 $a 978-3-030-12096-2
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
100 1 $a Esakia, Leo. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1229552
245 1 0 $a Heyting Algebras $h [electronic resource] : $b Duality Theory / $c by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XV, 95 p. 420 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Trends in Logic, Studia Logica Library, $x 1572-6126 ; $v 50
505 0 $a 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.
520 $a 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 first of 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.
650 0 $a Logic. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Bezhanishvili, Guram. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1075195
700 1 $a Holliday, Wesley H. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069465
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030120955
776 0 8 $i Printed edition: $z 9783030120979
776 0 8 $i Printed edition: $z 9783030120986
830 0 $a Trends in Logic, Studia Logica Library, $x 1572-6126 ; $v 42 $3 1261075
856 4 0 $u https://doi.org/10.1007/978-3-030-12096-2
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)