ابتدا مشبکه و نیم مشبکه مدولار متعامد را تعریف کرده و سپس قضایایی برای تصحیح در شناخت انها بیان کردیم

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

در فصل اول این پایان نامه به تعریف انواع جبرهای استلزامی و فیلترهای آنها پرداخته و سپس قضایای نمایش را در مورد آنها بررسی می کنیم. در فصل دوم ‏‎s‎‏ و ‏‎r‎‏ و ‏‎-ql‎‏ استلزام را تعریف کرده و پس از تعریف انواع استلزام قضایایی را در مورد آنها می آوریم . در فصل سوم ابتدا لیستی از عملگرهای استلزام شناخته شده را ارائه و سپس نوع جبر و بعد از آن خواص ذکر شده در فصل اول و دوم را در مورد آنها بررسی می کن...

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

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

هدف ازاین پایان نامه ، بررسی ابر ‏‎bck‎‏-ایده آلهای آنها و بالاخص ابر ‏‎bck‎‏-ایده آلهای استلزامی مثبت می باشد. در پایان بعضی ساختارهای فازی روی آنها نیز بررسی خواهد شد.

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می‌شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می‌آید، معادل ترکیب‌های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می‌باشد. این ترکیب اساسی‌ترین مفهوم منطق جدید محسوب می‌شود و در استدلال‌های پیچیدۀ ریاضی نتایج رضایت‌بخشی داده است. آگاهی یا عدم آگاهی منطق‌دانان قدیم از شروط صدق این ترکیب سئوا...

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

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