Abstract
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.
Publisher
Universidad Nacional Autonoma de Mexico
Reference23 articles.
1. Carnap, Rudolf, 1930, “Die alte und die neue Logik”, Erkenntnis, vol. 1, pp. 12–26.
2. Castro-Manzano, J.-Martín, 2020, “Distribution Tableaux, Distribution Models”, Axioms, vol. 9, no. 2.
3. Castro-Manzano, J.-Martín, 2018, “A Tableaux Method for Term Logic”, LANMR 2018, vol. 2264, pp. 1–14.
4. Castro-Manzano, J.-Martín y Paniel O. Reyes-Cárdenas, 2018, “Term Functor Logic Tableaux”, South American Journal of Logic, vol. 4, no. 1, pp. 1–22.
5. Craig, William, 1957, “Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem”, The Journal of Symbolic Logic, vol. 22, no. 3, pp. 250–268.