در این پایان نامه به معرفی و بررسی ‎ ‎bci/bck‎ -ایده آل های جابه جایی‏، استلزامی مثبت‏ و استلزامی می پردازیم. همچنین ‎‎ زیر-ایده آل های جابه جایی‏ و استلزامی‏‎،‎ p-ایده آل ها‏، ‎q -ایده آل ها‏ و ‎a‎ -ایده آل ها‏‏، در ‎bci‎-جبرها ر‎ا‎ معرفی و ‎مطالعه‎ می کنیم‎‎‎‎‎ و نشان می دهیم هر ایده آل‎‎‏، یک ‎a‎-ایده آل است اگر و فقط اگر ‎p‎ و ‎ ‎q‎ -ایده آل باشد و هر ‎ ‎p‎ ‎‎-ایده آل‏، یک ایده آل استلزامی ...

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

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

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...

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

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

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

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری mv و bl و جبرهایتینگ معرفی می شوند. فیلترهای بولی، اول، استلزامی مثبت، شبه متمم و پیچشی را روی مشبکه های مانده تعریف کرده و چند فرم از فیلتر اول و بولی را معرفی می کنیم. سپس با استفاده از قضایا رابطه بین آنها را بررسی می نماییم. تعریف –t نرم ها و عملگرهای مربوطه و مثال هایی از آنها آورده می شود. مشبکه های مانده بازه ایی مقدار (ivrl) معر...