 However, combining logics does not only mean synthesizing or composing logics, but can also yield interesting examples that go in the opposite direction of decomposing logics (see  section 2).  A paradigmatic methodology for decomposition is the possible-translations semantics, a notion proposed in Carnielli 1990 designed to help solve the problem of assigning semantic interpretations to non-classical logics. Examples of possible-translations semantics illustrate how a complex logic can be analyzed into less complex factors. Other techniques such as direct union of matrices and plain fibring (see Coniglio and Fernández 2005) can be considered to be methods for both composing and decomposing.