هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

چکیده فسخ نکاح، عمل حقوقی یک جانبه ای است که به موجب آن یکی از طرفین به صورت ارادی به هستی حقوقی عقد نکاح پایان می دهد. قانون مدنی به تبعیت از نظر مشهور فقها در صورت وجود عیوب قَرَن، جذام، بَرَص، اِفضا، زمین گیری و نابینایی از هر دو چشم در زن، بر مرد و در صورت وجود عیوب جَبّ، خِصا و عَنَن در مرد بر زن حق فسخ نکاح را داده است. امروزه برخی از این عیوب مُصرَّح قابلیت درمان یافته و با توجه به فلسفه و مبانی فسخ...

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

انعقاد یک عقد به صورت مشروط، حکایت از آن دارد که مشروط‌له التزام خود نسبت به مفاد عقد را بر ایفای شرط از سوی مشروط­‌علیه متوقف کرده و در واقع اراده خود را به صورت مقیّد انشاء نموده است. از این‌­رو اگر مشروط­‌علیه از شرط تخلف ورزد، باید در خصوص بقا یا امکان گسست عقد تصمیم گرفت و چاره­‌اندیشی کرد. صرف‌­نظر از شرط نتیجه که امکان تخلف از آن متصور نیست و شرط صفت که ظاهراً تخلف از آن راهی جز امکان فسخ ...

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

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

هرچند فقیهان امامیّه و به تبع آنان قانون مدنی، جعل شرط فسخ در عقد نکاح را از حاکمیّت ارادة طرفین عقد نکاح خارج ساخته و باطل دانسته اند ولی نظر مذکور در فقه امامیّه و حقوق ایران با ادلّه و قواعد حاکم بر آزادی ارادة طرفین عقد نکاح در جعل شرط فسخ، تعارض دارد. به این بیان که طبق قواعد حاکم بر ارادة طرفین عقد، جعل شرط فسخ در کلیة عقود لازم و نیز معاوضی ممکن است؛ به طوری که برخی از فقیهان، جعل شرط فسخ در...

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

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

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