Summary <p>This chapter begins with the underlying concepts of crisp logic, deals with the definition of an algebra or algebraic system and reviews the fundamentals of Boolean algebra. It argues that ...

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations - spbla/docs/tutorial.md at main · SparseLinearAlgebra/spbla ...

How George Boole invented Boolean logic and created the computer age As the 200th anniversary of his birth is marked with a Google doodle, we take a look at the lasting work of English ...

This paper presents a study of the controllability problem of dynamic-algebraic Boolean control networks (DABCNs) based on the semi-tensor product of matrices.