Abstract Meghdad Ghari (Persion)

در اين رساله به بررسي منطقهاي توجيه و ارتباط آنها با منطقهاي موجهات مي‌پردازيم. نتايج اين رساله به سه گروه قابل تقسيم هستند. ارايه منطقهاي توجيه جديد، از جمله: ‎ JB (صورت صريح منطق موجه براوري ‎ KB)، ‎ JGL (صورت صريح منطق اثبات‌پذيري گودل لوب ‎ GL)‎ و JL^D (صورتهاي صريح منطقهاي دانشي توزيعي). بررسي ارتباط منطقهاي توجيه ارايه شده با منطقهاي موجهات متناظر آنها بوسيله ارايه قضيه تحقق، از جمله: اثبات قضيه تحقق براي KB‎ با استفاده از نگاشت نشاندن، اثبات قضيه تحقق براي GL‎ به صورت نحوي، و اثبات قضيه تحقق براي JL^D ‎ به صورت معنايي. ارايه دستگاههاي اثبات گنتسني براي منطقهاي توجيه و اثبات قضيه حذف برش براي آنها، از جمله: دستگاههاي گنتسني LP^G‎ وLP_L^G ‎ براي منطق اثباتها، دستگاههاي گنتسني S4LP^G و S4LP_L^G براي منطق شناختي با توجيه ‎ S4LP ‎، دستگاه ابر رشته‌اي ‎ S4LPN_L^H براي منطق شناختي با توجيه ‎ S4LPN و دستگاههاي رشته‌اي برچسب‌دار براي منطقهاي توجيه و منطقهاي شناختي با توجيه.