Interpolation in term functor logic

• J. Martín Castro-Manzano ^[1]
  1. [1] UPAEP University, México
• Localización: Crítica: revista hispanoamericana de filosofía, ISSN 0011-1503, Vol. 55, Nº. 165, 2023, págs. 53-69
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen
  • español

    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.

  • English

    Given some links between Lyndon’s Interpolation Theorem, term dis-tribution, and Sommers and Englebretsen’s logic, in this contribution we attemptto capture a sense of interpolation for Sommers and Englebretsen’s Term FunctorLogic. In order to reach this goal we first expound the basics of Term Functor Logic,together with a sense of term distribution, and then we offer a proof of our maincontribution