Amalgamation in classes of involutive commutative residuated lattices
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915384114806784 |
|---|---|
| author | Jenei, Sándor |
| author_facet | Jenei, Sándor |
| contents | Amalgamation is investigated in classes of involutive commutative residuated lattices that are neither divisible, nor integral, nor idempotent. We demonstrate that several subclasses of totally ordered involutive commutative residuated lattices fail the Amalgamation Property (AP). These include the classes of odd and even involutive lattices, whose failure of the AP stems from the same fundamental cause observed in the class of discrete linearly ordered abelian groups with positive normal homomorphisms. Conversely, we prove that three natural subclasses, consisting of idempotent-symmetric, totally ordered, involutive commutative residuated lattices, possess the AP, although they fail the Strong Amalgamation Property (SAP). This failure is attributable to the same underlying reason identified in the class of linearly ordered abelian groups. Furthermore, we show that the variety of semilinear, idempotent-symmetric, odd involutive commutative residuated lattices, as well as the variety generated by idempotent-symmetric, even involutive commutative residuated chains, satisfy the Transferable Injections Property (TIP), a strengthening of the AP. Finally, it is established that any variety of semilinear involutive commutative residuated lattices containing the variety of odd semilinear commutative residuated lattices fails the AP. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2012_14181 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Amalgamation in classes of involutive commutative residuated lattices Jenei, Sándor Logic Primary 97H50, 20E06, Secondary 06F05, 06F20, 03B47 Amalgamation is investigated in classes of involutive commutative residuated lattices that are neither divisible, nor integral, nor idempotent. We demonstrate that several subclasses of totally ordered involutive commutative residuated lattices fail the Amalgamation Property (AP). These include the classes of odd and even involutive lattices, whose failure of the AP stems from the same fundamental cause observed in the class of discrete linearly ordered abelian groups with positive normal homomorphisms. Conversely, we prove that three natural subclasses, consisting of idempotent-symmetric, totally ordered, involutive commutative residuated lattices, possess the AP, although they fail the Strong Amalgamation Property (SAP). This failure is attributable to the same underlying reason identified in the class of linearly ordered abelian groups. Furthermore, we show that the variety of semilinear, idempotent-symmetric, odd involutive commutative residuated lattices, as well as the variety generated by idempotent-symmetric, even involutive commutative residuated chains, satisfy the Transferable Injections Property (TIP), a strengthening of the AP. Finally, it is established that any variety of semilinear involutive commutative residuated lattices containing the variety of odd semilinear commutative residuated lattices fails the AP. |
| title | Amalgamation in classes of involutive commutative residuated lattices |
| topic | Logic Primary 97H50, 20E06, Secondary 06F05, 06F20, 03B47 |
| url | https://arxiv.org/abs/2012.14181 |