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

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

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

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

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

چکیده درفصل اول ابتدا تعریف مشبکه و ویژگی هایی از مشبکه ها را مورد برسی قرار می دهیم. سپس مشبکه مانده ای و انواع مانده ها و رابطه بین آنها و ویژگیهای مهم آنها را مطالعه می کنیم. همچنین تعریف فیلتر و خواص فیلترها و انواع فیلترها مورد بررسی قرار می دهیم. درفصل دوم فیلترهای ?,?)t)- فازی درمشبکه های مانده ای را تعریف کرده و انواع فیلترهای?,?)t)- فازی به همراه ویژگی هایی از آنها را مورد مطالعه قرا...

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

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

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

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