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

در این پایان نامه فرض کنیم a یک جبر باناخ با ضرب صادق و * جبر باناخ خارج قسمتیa** با ضرب آرنز چپ باشد. یک جبر باناخ معرفی می کنیم که زیرفضای بسته از * با ضرب متفاوت از آن است. به کمک این جبر باناخ مشخصه هایی برای مرکز توپولوژیک (*) zt از * به دست می آید و یک مشخه برای (*) zt وقتی که a ?دارای تقریب همانی کراندار است و توسط لائو و اولگر به دست آمده را به تمامی جبرهای...

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

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

شبه 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‎‎ ‏با حالت درونی قوی و جب...