Heyting Algebras - Duality Theory (Hardcover, 1st ed. 2019)

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Trends in Logic, 50
Release date:	July 2019
First published:	2019
Authors:	Leo Esakia
Editors:	Guram Bezhanishvili • Wesley H. Holliday
Translators:	Anton Evseev
Dimensions:	235 x 155mm (L x W)
Format:	Hardcover
Pages:	95
Edition:	1st ed. 2019
ISBN-13:	978-3-03-012095-5
Languages:	English
Subtitles:	Russian
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Algebra > General Books > Philosophy > Topics in philosophy > Logic
LSN:	3-03-012095-3
Barcode:	9783030120955

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!