Boolean logic
منطق بولی
Coherent ring
حلقه کوهرنت
نظریه راه‌گزینی
switching theory
Stone representation theorem
قضیه نمایش استون
پاد‌حلقه
antiring
جبر بولی
Boolean algebra
یک دستگاه جبری با دو عمل دوتایی و یک عمل یکتایی که در ارائه منطق دو ارزشی مهم است.
نیم‌حلقه
semiring
Boolean sigma algebra
سیگما جبر بولی