This is a type of logic where the basic binary operator is not associative, that is, (a * b) * c is not necessarily equal to a * (b * c).
This is a type of logic where the basic binary operator is not associative, that is, (a * b) * c is not necessarily equal to a * (b * c).