Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Leo Esakia on Duality in Modal and Intuitionistic Logics
ISBN: 9789402403381 / Angielski / Miękka / 2016 / 334 str. Termin realizacji zamówienia: ok. 30 dni roboczych. 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... This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by lea... |
cena:
494,18 zł |
 |
Leo Esakia on Duality in Modal and Intuitionistic Logics
ISBN: 9789401788595 / Angielski / Twarda / 2014 / 334 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by lea... |
cena:
388,20 zł |
 |
Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
ISBN: 9783642369759 / Angielski / Miękka / 2013 / 277 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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,...
This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Ku...
|
cena:
178,59 zł |
 |
Heyting Algebras: Duality Theory
ISBN: 9783030120986 / Angielski / Miękka / 2020 / 95 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
221,26 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
