DOAJ Open Access 2023

Interpolation in Term Functor Logic

J.-Martín Castro-Manzano

Abstrak

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.

Topik & Kata Kunci

Philosophy. Psychology. Religion

Penulis (1)

J.-Martín Castro-Manzano

Format Sitasi

APA MLA BibTeX

Castro-Manzano, J. (2023). Interpolation in Term Functor Logic. https://doi.org/10.22201/iifs.18704905e.2023.1466

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.22201/iifs.18704905e.2023.1466

Informasi Jurnal

Tahun Terbit: 2023
Sumber Database: DOAJ
DOI: 10.22201/iifs.18704905e.2023.1466
Akses: Open Access ✓