0
Your cart

Your cart is empty

Books > Language & Literature > Language & linguistics

Buy Now

Leo Esakia on Duality in Modal and Intuitionistic Logics (Hardcover, 2014 ed.) Loot Price: R4,127
Discovery Miles 41 270
Leo Esakia on Duality in Modal and Intuitionistic Logics (Hardcover, 2014 ed.): Guram Bezhanishvili

Leo Esakia on Duality in Modal and Intuitionistic Logics (Hardcover, 2014 ed.)

Guram Bezhanishvili

Series: Outstanding Contributions to Logic, 4

 (sign in to rate)
Loot Price R4,127 Discovery Miles 41 270 | Repayment Terms: R387 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 Godel-Lob 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."

General

Imprint: Springer
Country of origin: Netherlands
Series: Outstanding Contributions to Logic, 4
Release date: June 2014
First published: 2014
Editors: Guram Bezhanishvili
Dimensions: 235 x 155 x 23mm (L x W x T)
Format: Hardcover
Pages: 334
Edition: 2014 ed.
ISBN-13: 978-9401788595
Categories: Books > Language & Literature > Language & linguistics > General
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Logic
LSN: 9401788596
Barcode: 9789401788595

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!

Partners