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
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Soluciones periódicas de pico y suaves para la ecuación KP-MEW(3,2)
Artículo:
Modelado matemático de la equinococosis en humanos, perros y ovejas
Artículo:
Método de diferencias finitas de malla escalonada con precisión de orden variable para medios porosos
Artículo:
Operadores de media de Heronian de copula borrosa intuicionista de intervalo lingüístico para la toma de decisiones en grupo de múltiples atributos.
Artículo:
Existencia de tres soluciones positivas para problemas de valor de frontera discreto de -puntos con -Laplaciano.
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Análisis socioeconómico de la problemática de los desechos plásticos en el mar
Artículo:
Los web services como herramienta generadora de valor en las organizaciones