Leo Esakia on Duality in Modal and Intuitionistic Logics

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Leo Esakia on Duality in Modal and Intuitionistic Logics by , Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789401788601
Publisher: Springer Netherlands Publication: June 3, 2014
Imprint: Springer Language: English
Author:
ISBN: 9789401788601
Publisher: Springer Netherlands
Publication: June 3, 2014
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer Netherlands

Cover of the book Continental Philosophy and Philosophy of Religion by
Cover of the book Litigating the Rights of the Child by
Cover of the book Atlas of Interstitial Cells of Cajal in the Gastrointestinal Tract by
Cover of the book Physical Sciences and History of Physics by
Cover of the book Applications of Mathematics in Models, Artificial Neural Networks and Arts by
Cover of the book Environmental Security of the European Cross-Border Energy Supply Infrastructure by
Cover of the book Habitability of Other Planets and Satellites by
Cover of the book Mechanism and Causality in Biology and Economics by
Cover of the book The Rise of Post-Hegemonic Regionalism by
Cover of the book The Safety Utopia by
Cover of the book Therapeutic Angiogenesis for Vascular Diseases by
Cover of the book North-East India: Land, People and Economy by
Cover of the book The Treatment of Prostatic Hypertrophy and Neoplasia by
Cover of the book Acculturation and Occupation: A Study of the 1956 Hungarian Refugees in the United States by
Cover of the book Boston Studies in the Philosophy of Science by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy