Vector logic is a matrix–vector representation of the logical calculus inspired in neural network models. In this algebraic formalism, the truth values map on orthonormal Q-dimensional vectors, the monadic operations are represented by square matrices, and the dyadic operations produce rectangular matrices that act on the Kronecker product of the vector truth values. In this formalism, the theo...