توضیحات
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 Esakias 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 Gdel-Lb provability logic GL. One chapter scrutinizes Esakias 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.
————————————————————–
ترجمه ماشینی :
این جلد به مشارکت لئو اساکیا در تئوری سیستمهای مدال و شهودی اختصاص دارد. این جلد شامل 10 فصل است که توسط متخصصان برجسته نوشته شده است، مشارکت های اصلی اساکیا و پیشرفت های متعاقب آن که به شکل گیری نظریه دوگانگی برای منطق های مدال و شهودی و استفاده از آن برای به دست آوردن برخی از نتایج عمده در این منطقه کمک کرده است، بحث می کند.
با شروع فصلی که به بررسی دوگانگی اساکیا برای جبرهای S4 میپردازد، این جلد به بررسی دوگانگی اساکیا برای جبرهای هیتینگ و تعمیمهای آن به جبرهای هیتینگ ضعیف و نیمشبکههای ضمنی میپردازد. این کتاب همچنین به قضیه Blok-Esakia می پردازد و یک طرح کلی از KM منطق معین شهودی را ارائه می دهد که ارتباط نزدیکی با منطق اثبات پذیری Gdel-Lb GL دارد. یک فصل کار اساکیا را بررسی می کند که الماس مدال را به عنوان مشتق فضای توپولوژیکی در مجموعه توپولوژی بدون نقطه تفسیر می کند. فصل پایانی این جلد به معنای اشتقاقی منطق مدال و سایر موضوعات مرتبط اختصاص دارد.
tag : دانلود کتاب لئو اساکیا در مورد دوگانگی در منطق وجهی و شهودی , Download لئو اساکیا در مورد دوگانگی در منطق وجهی و شهودی , دانلود لئو اساکیا در مورد دوگانگی در منطق وجهی و شهودی , Download Leo Esakia on duality in modal and intuitionistic logics Book , لئو اساکیا در مورد دوگانگی در منطق وجهی و شهودی دانلود , buy لئو اساکیا در مورد دوگانگی در منطق وجهی و شهودی , خرید کتاب لئو اساکیا در مورد دوگانگی در منطق وجهی و شهودی , دانلود کتاب Leo Esakia on duality in modal and intuitionistic logics , کتاب Leo Esakia on duality in modal and intuitionistic logics , دانلود Leo Esakia on duality in modal and intuitionistic logics , خرید Leo Esakia on duality in modal and intuitionistic logics , خرید کتاب Leo Esakia on duality in modal and intuitionistic logics ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.