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

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

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

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

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

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

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

مفهوم کلی یک جبر ‎‎mv، ‏اولین بار توسط فلیمینیو و مونتاگنا به عنوان یک جبر ‎‎‎mv‎‎ ‏با حالت درونی (به عنوان یک عمل یکتایی) معرفی شد. دی نولا و دورسنسکیج نوع قوی تری از یک جبر ‎‎mv‎‎ ‏با حالت درونی، ‎‏ارائه دادند. در پایان نامه حاضر مفهوم جبر ‎‎‎bl‎‎ ‏را ‎‏به عنوان یک جبر ‎‎‎bl‎ ‏با حالت درونی معرفی می کنیم. انواع مختلفی از جبرهای ‎‎bl‎‎ ‏با حالت درونی مانند جبرهای ‎‎bl‎‎ ‏با حالت درونی قوی و جب...

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

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