De Morgan bisemilattice的varieties
逻辑
2026-03-13 v1
摘要
De Morgan bisemilattice是以满足De Morgan性质的不变函数扩张的分配bisemilattice。它们因作为分析包含逻辑的代数模型以及作为P{\l}onka和构造某种泛化的案例而引起广泛关注。本文提供了De Morgan bisemilattice variety DMBL子varieties格的完整描述。对于该格中的每个subvariety，我们识别出一组有限生成器、其成员的De Morgan-P{\l}onka表示的刻画，以及其有效恒等式的句法描述。在许多情况下，我们还给出相对于DMBL的公理化。
引用
@article{arxiv.2603.12175,
title = {Varieties of De Morgan bisemilattices},
author = {Francesco Paoli and Damian Szmuc and Agustina Borzi and Martina Zirattu},
journal= {arXiv preprint arXiv:2603.12175},
year = {2026}
}