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

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

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

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

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

در این پایان نامه دسته ای از ‎ bck-‎جبرها را می سازیم و نشان خواهیم داد این bck-‎جبرها جابجایی‎،‎ با خاصیت حذفی نسبی‎،‎ نیم مشبکه پایینی و با شرط ‎ (s)‎ است و همچنین دو مثال برای این گونه ‎ bck-‎جبرها ارائه می دهیم.مثال اول bckجبرهای فازی است و این bckجبر خواص دیگری همچون کرانداری و مشبکه بودن را داراست و نشان می دهیم که استلزامی نمی تواندباشد و مثال بعدی bck جبر روی حوزه تجزیه یکتاست. در ادامه...

دراین پایان نامه ابتدا به معرفی مجموعه های فازی ومجموعه های نرم وتعاریف مقدماتیbci -جبر می پردازیم. با استفاده از این مفاهیم مجموعه های نرم جمعی و اشتراکی روی یک bci-جبر را بررسی می کنیم. دراین راستا مطالعه ایده آل های مختلف از جمله ایده آل های نرم جمعی، اشتراکی و استلزامی روی یک bci-جبر پی گیری می شود. سپس مفهوم ایده آلی شدن مجموعه های نرم بررسی شده و در پایان، مفهوم ایده آل نرم دو قاب (dfs-ای...

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

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

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