Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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.
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.
Zusammenfassung

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 contents of the lost second volume

Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2020
Fachbereich: Allgemeines
Genre: Geisteswissenschaften, Kunst, Musik, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: xv
95 S.
420 s/w Illustr.
95 p. 420 illus.
ISBN-13: 9783030120986
ISBN-10: 3030120988
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Esakia, Leo
Redaktion: Bezhanishvili, Guram
Holliday, Wesley H.
Herausgeber: Guram Bezhanishvili/Wesley H Holliday
Übersetzung: Evseev, Anton
Hersteller: Springer
Palgrave Macmillan
Springer International Publishing AG
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 7 mm
Von/Mit: Leo Esakia
Erscheinungsdatum: 14.08.2020
Gewicht: 0,184 kg
Artikel-ID: 118822489

Ähnliche Produkte