نام پژوهشگر: راحله عسکری زاده کوویی

bl-جبرهای حالت
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه 1392
  راحله عسکری زاده کوویی   مسعود هاوشکی

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