 Categories of logic systems having logic translations as morphisms are such that the canonical injections of the coproduct are just inclusion mappings. Then, given two logics \({{\cal L}}_1\) and \({{\cal L}}_2\), the only rules of these logics which are preserved by algebraic fibring are those of the form:   \[\Gamma \vdash \varphi.\]   