Overview
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area. Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
Full Product Details
Author: Guram Bezhanishvili
Publisher: Springer
Imprint: Springer
Edition: Softcover reprint of the original 1st ed. 2014
Volume: 4
Dimensions:
Width: 15.50cm
, Height: 1.90cm
, Length: 23.50cm
Weight: 0.534kg
ISBN: 9789402403381
ISBN 10: 9402403388
Pages: 334
Publication Date: 27 September 2016
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: In Print
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Reviews
All chapters of the collection pay tribute to L. Esakia's outstanding technical work, which inspired greatly several researchers, not only in Georgia but also all over the world, to carry out extensive and deep investigations on modal and intuitionistic logics. For this reason, the volume under review is necessary reading for anyone interested in Esakia's contributions, as well as the current state of the large area in which he conducted his research. (Costas Dimitracopoulos, Metascience, Vol. 24, 2015) This is a good book on algebras and set theories of intuitionistic and modal logics. ... This a very good book for logicians and mathematics scholars. (Joseph J. Grenier, Amazon.com, June, 2014)
All chapters of the collection pay tribute to L. Esakia's outstanding technical work, which inspired greatly several researchers, not only in Georgia but also all over the world, to carry out extensive and deep investigations on modal and intuitionistic logics. For this reason, the volume under review is necessary reading for anyone interested in Esakia's contributions, as well as the current state of the large area in which he conducted his research. (Costas Dimitracopoulos, Metascience, Vol. 24, 2015) This is a good book on algebras and set theories of intuitionistic and modal logics. ... This a very good book for logicians and mathematics scholars. (Joseph J. Grenier, Amazon.com, June, 2014)
