شبه mv-جبرهای موضعی

شبه bck- جبرهای موضعی

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

شبه bck - جبرهای موضعی با شبه حاصلضرب

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

mv-جبرهای کامل

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

mv-جبرهای مغلوب بولی

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

جبرهای عملگری

جبرهای فیستر با برگردان

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