-
![Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]](//cdn.ketabkoo.com/covers/13/1384652-n.jpg)
Sumit Sourabh
![Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]](http://cdn.ketabkoo.com/covers/13/1384652-n.jpg)
Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read
دانلود کتاب Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]
by Sumit Sourabh|
|
عنوان فارسی: مکاتبات و متعارف بودن در منطق غیر کلاسیک [پایان نامه دکتری] |
دانلود کتاب
جزییات کتاب
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.
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.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
