La amplia y rápida proliferación de sistemas lógicos en varias áreas de la informática ha llevado a un resurgimiento del interés en varios métodos para combinar sistemas lógicos y en investigaciones sobre las propiedades heredadas por las combinaciones resultantes. Uno de los métodos más antiguos es la fibración, donde los conectivos compartidos de las lógicas combinadas heredan propiedades de los sistemas lógicos componentes, lo que a menudo conduce a inconsistencias. Para hacer frente a tales efectos no deseados, Sernadas et al. (2011, 2012) han introducido recientemente una forma novedosa de combinar lógicas, llamada , en la cual los conectivos combinados comparten solo las propiedades lógicas que disfrutan en los sistemas componentes. En sus investigaciones, proporcionan un cálculo sólido y concretamente completo para la combinación por intersección basado en cálculos sólidos y completos disponibles para los sistemas componentes. En este trabajo, se hace un esfuerzo por abstraer esos resultados a un nivel categórico adec