Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.12175 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of 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.