Resumen

CASTRO-MANZANO, Martín. Interpolation in Term Functor Logic. 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.

Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. 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 main contribution.

Palabras llave : term logic; Aristotelian logic; syllogistic; distribution; Craig-Lyndon interpolation.