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

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

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

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

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

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

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

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

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

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری bl و mv جبرها و جبر هایتینگ معرفی می شوند. مشبکه های مانده ای بازه ی مقدار (ivrl) و جبرهای مثلثی را با دو عملگر یکتایی ?,? و یک ثابت غیر قطعی u متفاوت از 0 و 1 را تعریف می کنیم و ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl ) توسیع یافته یک جبر مثلثی است و بر عکس هر جب...