algebraic logic
منطق جبری
تحدب اصل موضوعی
axiomatic convexity
تحدب تعمیم‌یافته
generalized convexity
جبر رابطه‌ای
relational algebra
quantum logic
منطق کوانتومی