Interpolation in Term Functor Logic
Bibliographic Data
| ID | 22329320 |
|---|---|
| Authors | José Martín Castro-Manzano (0000-0003-2227-921X, Universidad Popular Autónoma del Estado de Puebla, corresponding author) |
| Year | 2023 |
| Publication date | 2023-10-27 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Critica (JOURNAL) |
| Journal identifiers | ISSN: 0011-1503 • E-ISSN: 1870-4905 |
| Publisher | Universidad Nacional Autonoma de Mexico (PUBLISHER • MX) |
| DOI | 10.22201/iifs.18704905e.2023.1466 |
| OpenAlex | W4388283152 |
| Language | EN |
| References cited | 13 |
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
Algebra over a field · Discrete mathematics · Functor · Pure mathematics · Advanced Algebra and Logic · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Artificial Intelligence
| Citation velocity | historical |
|---|---|
| Highly cited | No |