  We propose various methods for combining or amalgamating propositional
languages and deductive systems. We make heavy use of quantales and quantale
modules in the wake of previous works by the present and other authors. We also
describe quite extensively the relationships among the algebraic and
order-theoretic constructions and the corresponding ones based on a purely
logical approach.
