Heyting Algebras Duality Theory
tarafından
 
Esakia, Leo. author.

Başlık
Heyting Algebras Duality Theory

Yazar
Esakia, Leo. author.

ISBN
9783030120962

Yazar
Esakia, Leo. author.

Edisyon
1st ed. 2019.

Fiziksel Niteleme
XV, 95 p. 420 illus. online resource.

Seri
Trends in Logic, Studia Logica Library, 50

İçindekiler
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.

Özet
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.

Konu Başlığı
Logic.
 
Mathematical logic.
 
Logic. https://scigraph.springernature.com/ontologies/product-market-codes/E16000
 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market-codes/M24005
 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product-market-codes/I16048

Yazar Ek Girişi
Bezhanishvili, Guram.
 
Holliday, Wesley H.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-030-12096-2


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book427911-1001BC1 -199Springer E-Book Collection