فروپاشی شوروی باعث ایجاد تحول عظیمی در منطقهی آسیای مرکزی و قفقاز شد. از همان زمان وجود ذخایر طبیعی در تعدادی از این کشورها به عنوان عاملی مهم در پیشرفت اقتصادی مورد توجه قرار گرفت. وجود این ظرفیت از سویی سبب جلب توجه قدرتهای منطقهای و فرامنطقهای به این کشورها شد. از سوی دیگر محصور بودن این کشورها در خشکی و انحصار روسیه بر خطوط انتقال انرژی، موجب شد که این کشورها نیز برای کاهش وابستگی، در پی شر...

در این رساله مطالعه فرمولهای علامتدار-g مجموعه ای که تعمیمی از فرمولهای علامتدار می باشند ارائه شده و ضابطه های تبدیل -g مجموعه ای به منظور فراهم آوردن منطقهای -g مجموعه ای معرفی می شوند. دسته های فرمولهای علامتدار -g مجموعه ای اشباع شده به طرف پائین یا بالای هینتی کا و کالمار جهت اثبات تمامیت منطقهای -g مجموعه ای تعمیم داده خواهند شد. به جای -g مجموعه ها یا بازه های محدب ، ساختارهای هازی محدب ...

منطق های آزاد منطقهایی هستند که برخلاف منطق کلاسیک نسبت به نامها تعهد وجودی ندارند. یعنی نامهای به کاررفته در زبان ممکن است مرجعی در دامنه عالم گفتار نداشته باشند. اما منطقهای آزاد نسبت به متغیرهای مقید شده با سورها البته تعهد وجودی دارند. این مقصود با اصلاح اصل حذف سور کلی در منطق آزاد انجام می گیرد. منطق های آزاد بسته به اینکه به جملات حاوی نام های بدون مرجع چه ارزش صدقی نسبت دهند، به سه دسته...

از سده نوزدهم به بعد کشور عمان به دلیل موقعیت ژئواستراتژیک همواره در سیاستهای منطقهای به ویژه برای بریتانیا مهم و با اهمیت بوده است. در دهه شصت میلادی جنبش در منطقه ظفار شکل گرفت که برای ثبات منطقه خطرناک میشد در فضای جنگ سرد این مساله اهمیت پیدا کرد و رفته رفته به موضوع رقابت قدرتهای بزرگ تبدیل شد. در منطقه ایران و عربستان در آن وارد شدند و در سالهای 75 – 1972 م ایران در این زمینه مداخله نظامی...

دادگاه اروپایی حقوق بشر:سازوکار منطقه ای حمایت از حقوق بشر عادل نظری راد کنوانسیون اروپایی صیانت از حقوق بشر و آزادیهای اساسی مصوب سال1950 میلادی و پروتکلهای بعدی تکمیلی آن، یک سند منطقه ای در قلمرو شورای اروپا در زمینه حقوق بشر به شمار میرود. در این کنوانسیون یک دادگاه فراملی به منظور نظارت بر عملکرد دولتهای عضو در پیروی از اصول مندرج در کنوانسیون در زمینه حفظ حقوق بشر پیش بینی گردیده است. ت...