polyadic algebra
جبر چندتایی
algebraic logic
منطق جبری