 is a consequence relation which is substitution-invariant; therefore \(\langle L, \vdash_{\cM } \rangle\) is a logic system. Similarly, we can define the logic of a class of matrices \(\bM\) by taking condition (*) as a definition of a consequence relation. In the entry on  many-valued logic  the reader can find several logics defined in this way.