هدف اصلی از نگارش این پایان نامه بررسی bl-جبرها به عنوان ساختار جبری متناظر با منطق فازی پایه (bl) است.bl-جبرها در راستای اثبات قضیه تمامیت در bl توسط هایک در سال 1998 به وجود آمده اند. توضیح آن که? در منطق فازی پایه- که توسیعی از منطق دو ارزشی است- همانند منطق کلاسیک? مفاهیم مختلف راستی و برهان یکسان هستند. یعنی این که در bl? هر چه که برهان پذیر باشد راست است.(قضیه درستی)? و هر چه راست باشد بر...

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

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

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

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

چکیده: تئوری موضعی سازی و جبر کسرها، ابتدا درنظریه حلقه ها مطرح شد و سپس توسط مدرسه ی رومانی به جبر های منطق اصلی گسترش پیدا کرد. پایان نامه ی حاضر در چهار فصل به نگارش در آمده است، ابتدا پیش نیاز هایی از جبر جامع را که مورد نیاز است بیان می کنیم. ساختار جبرهای موضعی برحسب ضربگرها برای مشبکه های توزیعپذیر کراندار، جبرهای هیلبرت و هرتز، blوmv- جبرها و جبرهای heytingو لوکاسویچ مویسیل در فصل یک ...

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

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