Distribución de tablas, modelos de distribución
Autores: Castro-Manzano, J.-Martín
Idioma: Inglés
Editor: MDPI
Año: 2020
Acceso abierto
Artículo científico
2020
Distribución de tablas, modelos de distribución
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Concepto
Distribución
Lógica tradicional
Desarrollo sintáctico
Lógica functorial
Semántica formal
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 27
Citaciones: Sin citaciones
El concepto de distribución es un concepto dentro de la lógica tradicional que ha sido fundamental para el desarrollo sintáctico de la lógica de funtores de Sommers y Englebretsen, una lógica que recupera la sintaxis de términos de la lógica tradicional. El problema aquí, sin embargo, es que el equivalente semántico de la distribución para esta lógica aún está en proceso. En consecuencia, dada esta disparidad entre sintaxis y semántica, en esta contribución adaptamos algunas ideas de los tableaux de lógica de funtores de términos para desarrollar modelos de distribución, proporcionando así algunas alternativas de semántica formal para ayudar a cerrar esta brecha.
Descripción
El concepto de distribución es un concepto dentro de la lógica tradicional que ha sido fundamental para el desarrollo sintáctico de la lógica de funtores de Sommers y Englebretsen, una lógica que recupera la sintaxis de términos de la lógica tradicional. El problema aquí, sin embargo, es que el equivalente semántico de la distribución para esta lógica aún está en proceso. En consecuencia, dada esta disparidad entre sintaxis y semántica, en esta contribución adaptamos algunas ideas de los tableaux de lógica de funtores de términos para desarrollar modelos de distribución, proporcionando así algunas alternativas de semántica formal para ayudar a cerrar esta brecha.