Resumen de Interpolation in term functor logic
- 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
