توضیحات
This is a PhD Thesis of Sumit Sourabh written under supervision of Prof. Dr. Yde Venema.
The focus and main contribution of this thesis is the understanding of the mechanisms
underlying correspondence and canonicity, and their application to the
development of a uniform correspondence and canonicity theory for a wide family
of non-classical logics which includes but is not limited to regular distributive
modal logics, and bi-intuitionistic modal mu-calculus. Uniformity is the critical
feature of our results, and it is made possible by our methodology, which crucially
relies on algebraic and order-topological notions and tools.
————————————————————–
ترجمه ماشینی :
این یک پایان نامه دکترای سومیت سورابه است که زیر نظر پروفسور دکتر ید ونما نوشته شده است. تمرکز و سهم اصلی این پایان نامه درک مکانیسم های زیربنایی مطابقت و متعارف و کاربرد آنها در توسعه یک تطابق و تئوری متعارف برای خانواده وسیعی از منطق های غیر کلاسیک است که شامل اما محدود به منطقهای توزیعی منظم مودال و محاسبات مودال دو شهودی نیست. یکنواختی ویژگی حیاتی نتایج ما است و با روش شناسی ما امکان پذیر می شود، که به طور اساسی بر مفاهیم و ابزارهای جبری و ترتیب توپولوژیکی تکیه دارد.
tag : دانلود کتاب مطابقت و تشریع در منطق غیر کلاسیک [پایان نامه دکتری] , Download مطابقت و تشریع در منطق غیر کلاسیک [پایان نامه دکتری] , دانلود مطابقت و تشریع در منطق غیر کلاسیک [پایان نامه دکتری] , Download Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] Book , مطابقت و تشریع در منطق غیر کلاسیک [پایان نامه دکتری] دانلود , buy مطابقت و تشریع در منطق غیر کلاسیک [پایان نامه دکتری] , خرید کتاب مطابقت و تشریع در منطق غیر کلاسیک [پایان نامه دکتری] , دانلود کتاب Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] , کتاب Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] , دانلود Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] , خرید Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] , خرید کتاب Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.