قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده ش...

فرضیه همگرایی، از جمله نتایج حاصل از مدل­های رشد نئوکلاسیک­ها می­باشد. بنا به تعریف، مفهوم همگرایی عبارت است از رشد سریع­تر مناطق (یا اقتصادهای) با درآمد سرانه کمتر، نسبت به مناطق (یا اقتصادهای) با درآمد سرانه بیشتر.       این مقاله، به بررسی همگرایی باشگاهی بین استان­های ایران طی سال­های 88-1379 می­پردازد. برای این منظور، بعد از دسته­بندی استان­ها با استفاده از روش­های مقطعی، برای بررسی فرضیه ...

مفهوم همگرایی (که یکی از نتایج مدل­های رشد نئوکلاسیک­ها می­باشد) را می­توان به عنوان رشد سریعتر مناطق با درآمد سرانه کمتر، نسبت به مناطق با درآمد سرانه بیشتر در نظر گرفت. لذا این مقاله به بررسی همگرایی اقتصادی بین استان­های ایران طی سال­های 1379-1387 با استفاده از آزمون­­های ریشه واحد در داده­های تابلویی می­پردازد. برای این منظور دو نوع همگرایی بتای مطلق و بتای شرطی مورد بررسی قرار می­گیرد. نتا...

در مطالعه ی حاضر اثر مهمترین عوامل کلان اقتصادی بر رشد اقتصادی با کاربرد روش داده های تابلویی مورد بررسی قرار گرفت و بدین منظور از داده های ترکیبی مربوط به 26 کشور اسلامی در طول دوره ی 17 ساله از 1995 تا 2011 استفاده شد. در این مطالعه متغیر وابسته حجم تولید ناخالص داخلی و متغیرهای مستقل موجودی حساب جاری، بدهی کل ناخالص دولت، درآمد عمومی دولت، مخارج کل دولت، پس انداز ناخالص ملی، تورم (به طور متو...

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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...