Synonyms of boolean algebra

Noun

1. Boolean logic, Boolean algebra, symbolic logic, mathematical logic, formal logic

usage: a system of symbolic logic devised by George Boole; used in computers