Crítica (Oct 2023)

Interpolation in Term Functor Logic

  • J.-Martín Castro-Manzano

DOI
https://doi.org/10.22201/iifs.18704905e.2023.1466
Journal volume & issue
Vol. 55, no. 165

Abstract

Read online

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.

Keywords