Maehara Interpolation in Extensions of R-mingle
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909943525801984 |
|---|---|
| author | Fussner, Wesley Krawczyk, Krzysztof |
| author_facet | Fussner, Wesley Krawczyk, Krzysztof |
| contents | We show that there are exactly five quasivarieties of Sugihara algebras with the amalgamation property, and that all of these have the relative congruence extension property. As a consequence, we obtain that the amalgamation property and transferable injections property coincide for arbitrary quasivarieties of Sugihara algebras. These results provide a complete description of arbitrary (not merely axiomatic) extensions of the logic R-mingle that have the Maehara interpolation property, and further demonstrates that the Robinson property and Maehara interpolation property coincide for arbitrary extensions of R-mingle. Further, we show that the question of whether a given finitely based extension of R-mingle has the Maehara interpolation property is decidable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_04762 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Maehara Interpolation in Extensions of R-mingle Fussner, Wesley Krawczyk, Krzysztof Logic Logic in Computer Science 03B47 (Primary), 03G25, 03C40 (Secondary) We show that there are exactly five quasivarieties of Sugihara algebras with the amalgamation property, and that all of these have the relative congruence extension property. As a consequence, we obtain that the amalgamation property and transferable injections property coincide for arbitrary quasivarieties of Sugihara algebras. These results provide a complete description of arbitrary (not merely axiomatic) extensions of the logic R-mingle that have the Maehara interpolation property, and further demonstrates that the Robinson property and Maehara interpolation property coincide for arbitrary extensions of R-mingle. Further, we show that the question of whether a given finitely based extension of R-mingle has the Maehara interpolation property is decidable. |
| title | Maehara Interpolation in Extensions of R-mingle |
| topic | Logic Logic in Computer Science 03B47 (Primary), 03G25, 03C40 (Secondary) |
| url | https://arxiv.org/abs/2512.04762 |