Varieties of De Morgan bisemilattices
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912963507519488 |
|---|---|
| author | Paoli, Francesco Szmuc, Damian Borzi, Agustina Zirattu, Martina |
| author_facet | Paoli, Francesco Szmuc, Damian Borzi, Agustina Zirattu, Martina |
| contents | De Morgan bisemilattices are expansions of distributive bisemilattices by an involution satisfying De Morgan properties. They have attracted interest both as algebraic models of analytic containment logics, and as a case study for a certain generalisation of the Płonka sum construction (De Morgan- Płonka sums). In this paper, we provide a complete description of the lattice of subvarieties of the variety DMBL of De Morgan bisemilattices. For each subvariety in the lattice, we identify a finite set of finite generators, a characterisation of the De Morgan-Płonka representations of its members, and a syntactic description of its valid identities. In many cases, we also give an axiomatisation relative to DMBL. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_12175 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Varieties of De Morgan bisemilattices Paoli, Francesco Szmuc, Damian Borzi, Agustina Zirattu, Martina Logic De Morgan bisemilattices are expansions of distributive bisemilattices by an involution satisfying De Morgan properties. They have attracted interest both as algebraic models of analytic containment logics, and as a case study for a certain generalisation of the Płonka sum construction (De Morgan- Płonka sums). In this paper, we provide a complete description of the lattice of subvarieties of the variety DMBL of De Morgan bisemilattices. For each subvariety in the lattice, we identify a finite set of finite generators, a characterisation of the De Morgan-Płonka representations of its members, and a syntactic description of its valid identities. In many cases, we also give an axiomatisation relative to DMBL. |
| title | Varieties of De Morgan bisemilattices |
| topic | Logic |
| url | https://arxiv.org/abs/2603.12175 |