1) روشهای جبری در منطق کلاسیک و غیر کلاسیک شامل
- جبرهای بولی
- جبردمورگان، جبرپست، جبرلوکاسیویچ، جبر هیتینگ، جبر هوپ،
- جبرهای BCK/BCI/BCH/B/KU/UP
- جبرهای BL/MTL، مشبکه های مانده، جبرهای تساوی، جبرهای EQ
- عملگرها روی جبرهای منطقی؛ عملگرهای مودال، عملگرهای حالت، عملگرهای زمانی
2) کاربرد روشهای نادقیق در جبرهای منطقی شامل
- نظریه مجموعه های فازی
- مجموعه های ناهموار
- مجموعه های نرم
- مجموعه های فازی شهودی
- سایر روشهای مرتبط
3) ابرساختارهای جبری مرتبط با جبرهای منطقی شامل
- ابرجبرهای BCK/K/ BL/MTL/EQ
- ابر مشبکه های مانده
- ابرجبرهای تساوی
4) سایر موضوعات مرتبط