توضیحات
In this thesis we investigate modal logics from a lattice theoretic point of view. There are essentially two well-known methods of research on lattices of modal logics. The investigation of the lattice of modal logics as a whole, and the local investigation of the lattice of extensions of some strong logic. In this thesis we will provide a third one by investigating proper complete sublattices, which are not filters within the whole lattice, but compactness preserving. The framework of our investigation is the lattice of normal n-modal logics, i.e., normal modal logics with n modal operators.
————————————————————–
ترجمه ماشینی :
در این پایان نامه به بررسی منطق مدال از دیدگاه نظری شبکه می پردازیم. اساساً دو روش شناخته شده برای تحقیق در مورد شبکه های منطق مدال وجود دارد. بررسی شبکههای منطقهای مدال بهعنوان یک کل، و بررسی محلی شبکه توسعههای برخی از منطق قوی. در این پایان نامه با بررسی زیرشبکه های کامل مناسب که فیلتری در کل شبکه نیستند، اما فشردگی را حفظ می کنند، مورد سومی را ارائه خواهیم داد. چارچوب تحقیق ما شبکهای از منطقهای n-modal معمولی است، یعنی منطقهای مودال عادی با n عملگر مودال.
tag : دانلود کتاب شبکه های منطق معین [پایان نامه دکتری] , Download شبکه های منطق معین [پایان نامه دکتری] , دانلود شبکه های منطق معین [پایان نامه دکتری] , Download Lattices of Modal Logics [PhD Thesis] Book , شبکه های منطق معین [پایان نامه دکتری] دانلود , buy شبکه های منطق معین [پایان نامه دکتری] , خرید کتاب شبکه های منطق معین [پایان نامه دکتری] , دانلود کتاب Lattices of Modal Logics [PhD Thesis] , کتاب Lattices of Modal Logics [PhD Thesis] , دانلود Lattices of Modal Logics [PhD Thesis] , خرید Lattices of Modal Logics [PhD Thesis] , خرید کتاب Lattices of Modal Logics [PhD Thesis] ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.