This work built on the Boolean algebra developed by George Boole and an analysis of logic by Augustus De Morgan which these mathematicians published nearly simultaneously in 1847.

Boolean algebra is the combination of logic and algebra, initially developed by George Boole, for whom the subject is named, in the 1840s and '50s, and later refined by other logicians through the ...

The concept of Boolean algebra was first introduced by George Boole in his book “The Mathematical Analysis of Logic,” and further expanded upon in his book “An Investigation of the Laws of ...

His lasting theory, Boolean logic, is a form of algebra where all the values (or variables) are either "true" or "false".

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...