اولین سمینار جبرهای منطقی

محورهای کنفرانس:

۱) روشهای جبری در منطق کلاسیک و غیر کلاسیک شامل 

جبرهای بولی
 جبردمورگان، جبرپست، جبرلوکاسیویچ، جبر هیتینگ، جبر هوپ،
جبرهای   BCK/BCI/BCH/B/KU/UP
جبرهای   BL/MTL، مشبکه های مانده، جبرهای تساوی، جبرهای EQ
عملگرها روی جبرهای منطقی؛ عملگرهای مودال، عملگرهای حالت، عملگرهای زمانی
۲)  کاربرد روشهای نادقیق در جبرهای منطقی شامل

نظریه مجموعه های فازی
مجموعه های ناهموار
مجموعه های نرم
مجموعه های فازی شهودی
سایر روشهای مرتبط
۳) ابرساختارهای جبری مرتبط با جبرهای منطقی شامل

ابرجبرهای  BCK/K/ BL/MTL/EQ
ابر مشبکه های مانده
ابرجبرهای تساوی
 ۴) سایر موضوعات مرتبط