On modal and intuitionistic logics: Guram Bezhanishvili : Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer, 2014, 334pp, €107.09 HB

Metascience 24 (2):337-340 (2014)
  Copy   BIBTEX

Abstract

The volume under review contains work dedicated to the memory of Leo Esakia, who died in 2010, after having worked for over 40 years towards developing duality theory for modal and intuitionistic logics. The collection comprises ten technical contributions that follow the first chapter, in which the reader can find information on Esakia’s studies and career, as well as a complete list of his research publications. In the sequel, we will refer briefly to each of these ten chapters, following the order in the list of contents.B. Jónsson and A. Tarski, in two papers they published in the early 1950s in the American Journal of Mathematics, initiated the study of duality for Boolean algebras with additional operations, via the theory of canonical extensions. Esakia was among the first researchers who studied duality for lattices with additional operations [Topological Kripke models. Soviet Math.Dokl. 15 , 147–151], in particular for Heyting algebras and S4 modal algebras. M. Gehrke, a ..

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
A first approach to abstract modal logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.

Analytics

Added to PP
2014-12-25

Downloads
13 (#1,006,512)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references