Articles liés à Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intuitionistic Logics - Couverture rigide

Livre 5 sur 29: Outstanding Contributions to Logic
 
9789401788595: Leo Esakia on Duality in Modal and Intuitionistic Logics
Couverture rigide
ISBN 10 : 9401788596 ISBN 13 : 9789401788595
Editeur : Springer, 2014

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
9401788596
ISBN 13 
9789401788595
Reliure
Relié
Nombre de pages
347
Éditeur
Bezhanishvili Guram
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne