Biblioteca122.739 documentos en línea

Artículo

Categorical Abstract Algebraic Logic: Meet-Combination of Logical SystemsLógica algebraica abstracta categórica: Combinación de sistemas lógicos

Resumen

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

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

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.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento