bezhanishvili guram (21 Ergebnisse)

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 292 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.

Zustand: New. In.

Zustand: New. In English.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular among Russian-speaking logicians. This translation helps make the ideasaccessible to a wider audience and pays tribute to an influential mind in mathematicallogic.The book discusses the theory of Heyting algebras and closure algebras, aswell as the corresponding intuitionistic and modal logics. The author introduces thekey notion of a hybrid that 'crossbreeds' topology (Stone spaces) and order (Kripkeframes), resulting in the structures now known as Esakia spaces. The main theoremsinclude a duality between the categories of closure algebras and of hybrids, and a dualitybetween the categories of Heyting algebras and of so-called strict hybrids.Esakia's book was originally published in 1985. It was the firstof a planned two-volume monographon Heyting algebras. But after the collapse of the Soviet Union, the publishing houseclosed and the project died with it. Fortunately, this important work now lives on inthis accessible translation. The Appendix of the book discusses the planned contentsof the lost second volume.

Paperback. Zustand: Brand New. 2013 edition. 289 pages. 9.25x6.10x0.66 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular among Russian-speaking logicians. This translation helps make the ideasaccessible to a wider audience and pays tribute to an influential mind in mathematicallogic.The book discusses the theory of Heyting algebras and closure algebras, aswell as the corresponding intuitionistic and modal logics. The author introduces thekey notion of a hybrid that ¿crossbreeds¿ topology (Stone spaces) and order (Kripkeframes), resulting in the structures now known as Esakia spaces. The main theoremsinclude a duality between the categories of closure algebras and of hybrids, and a dualitybetween the categories of Heyting algebras and of so-called strict hybrids.Esakiäs book was originally published in 1985. It was the firstof a planned two-volume monographon Heyting algebras. But after the collapse of the Soviet Union, the publishing houseclosed and the project died with it. Fortunately, this important work now lives on inthis accessible translation. The Appendix of the book discusses the planned contentsof the lost second volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular among Russian-speaking logicians. This translation helps make the ideasaccessible to a wider audience and pays tribute to an influential mind in mathematicallogic.The book discusses the theory of Heyting algebras and closure algebras, aswell as the corresponding intuitionistic and modal logics. The author introduces thekey notion of a hybrid that 'crossbreeds' topology (Stone spaces) and order (Kripkeframes), resulting in the structures now known as Esakia spaces. The main theoremsinclude a duality between the categories of closure algebras and of hybrids, and a dualitybetween the categories of Heyting algebras and of so-called strict hybrids.Esakia's book was originally published in 1985. It was the firstof a planned two-volume monographon Heyting algebras. But after the collapse of the Soviet Union, the publishing houseclosed and the project died with it. Fortunately, this important work now lives on inthis accessible translation. The Appendix of the book discusses the planned contentsof the lost second volume.

Zustand: New. In English.

Gebunden. Zustand: New.

Zustand: New.

Buch. Zustand: Neu. Neuware -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 Esakiä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 Esakiä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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -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 Esakiä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 Esakiä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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 112 pages. 9.25x6.10x0.26 inches. In Stock.

Hardcover. Zustand: Brand New. 112 pages. 9.25x6.10x0.47 inches. In Stock.

Hardcover. Zustand: Brand New. 330 pages. 9.50x6.25x1.00 inches. In Stock.