Resumen

CASTRO-MANZANO, Martín. Interpolación en la lógica de términos y funtores. Crítica (Méx., D.F.) [online]. 2023, vol.55, n.165, pp.53-69.  Epub 23-Jun-2024. ISSN 0011-1503.  https://doi.org/10.22201/iifs.18704905e.2023.1466.

Dados algunos vínculos entre el Teorema de Interpolación de Lyndon, la distribución de términos y la lógica de Sommers y Englebretsen, en esta contribución intentamos capturar un sentido de interpolación para la Lógica de Términos y Funtores de Sommers y Englebretsen. Para alcanzar este objetivo, primero exponemos los conceptos básicos de la Lógica de Términos y Funtores, junto con un sentido de distribución de términos, y luego ofrecemos una prueba de nuestra contribución.

Palabras llave : lógica de términos; lógica aristotélica; silogstica; distribución; interpolación de Craig-Lyndon.