A categorial approach to the combination of logics - Carnielli, W.A.-Coniglio, M.E.