  For the first two of these examples one has, historically, the logic determined by a characteristic matrix, and the corresponding class of algebraic structures determined later on. For the third example the situation is different: BL was designed to be the logic of all continuous t-norms, and from this extralogical approach the class of all divisible residuated lattices which satisfy prelinearity was found.