On logic-based intelligent systems

First, a new matrix product, called the semitensor product of matrices, is introduced. Then the logic operators are expressed in matrix form. Based on this form, the fuzzy logic is deduced in an axiomatic form. Finally, the logic-based intelligent control is considered.