اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...

هدف از این پایان نامه، بررسی mv -مدول هاست. در پایان بعضی ساختارهای فازی روی آن نیز بررسی خواهد شد. تا از این طریق بتوانیم در جهت پیشرفت ساختارهای فازی گامی هر چند ناچیز برداریم. ایده درنظر گرفتن فرمول های زبان منطقی به عنوان عبارات جبری اولین بار توسط جورج بول مطرح شد و عمدتاً از طریق در نظر گرفتن روابط بین کلاسهای اشیاء الهام گرفته است. چانگ از طریق تجزیه و تحلیل منطق چندارزشی در سال 1958، به...

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

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

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

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

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

چکیده ندارد.

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