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

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

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

در ابتدای این پایان نامه به مقدماتی از جبر جامع وساختارهای جبری از جمله ‎$ bl $‎ - جبر، ‎$ mv $‎ - جبر، شبه ‎$ bl $‎ - جبر و شبه ‎$ mv $‎ - جبر می پردازیم. در ادامه به بیان مشبکه ی مانده و خاصیت های آن پرداخته و سپس فیلتر های مشبکه ی مانده و مشبکه ی فیلتر های مشبکه ی مانده را بررسی می کنیم. سپس مشبکه ی مانده ی موضعی و مشبکه ی مانده ی کامل را بیان کرده و رادیکال را روی م...

تکواره های مشبکه مانده کراندار(-rlتکواره ها) یک کلاس جامع از مشبکه های مانده (نه لزوماً جابجایی) می باشند. لذا شبه-bl جبرها و شبه ‎-mv جبرها و در نتیجه-bl جبرها و ‎-mv جبرها را می توان به عنوان -rlتکواره های کراندار در نظر گرفت. در پایان نامه پیش رو زبان -rlتکواره ها یی که یک مولد غیر جابجایی از ‎-mv جبرها و-bl جبرها می باشد، با اضافه کردن یک عملگر یکتایی که خواص جبری از یک حالت را توصیف می کند ...

چکیده ندارد.

در این رساله ابتدا جبرهای منطقی نظیر مشبکه های مانده ای، $mtl$-جبرها، $bl$-جبرها و جبرهای استلزامی مشبکه ای را معرفی و خصوصیات آنها را بیان می کنیم. سپس $ bck$-جبرها را که شاخه ای دیگر از جبرهای منطقی هستند معرفی کرده و به بررسی مشبکه ها در این جبر منطقی می پردازیم. با ارائه شبه $ bck $ مشبکه هاltrfootnote{ٍٍquasi bck-lattices} در $ bck$-جبرها، مفهوم مشبکه ها را گسترش داده و ارتباط بین $ bck $...

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

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