  There is a second type of semantics for systems \(\bS\) of many-valued logic which is based on a whole characteristic class \(\bK\) of (similar) algebraic structures. Each such algebraic structure has to provide all the data which have to be provided by a characteristic logical matrix for the language of \(\bS\).