logo móvil
Contáctanos

Distribución de tablas, modelos de distribución

Autores: Castro-Manzano, J.-Martín

Idioma: Inglés

Editor: MDPI

Año: 2020

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro