有限交换幂等对合剩余格的结构
逻辑
2021-08-27 v4
摘要
我们将交换幂等对合剩余格刻画为排布在分配格之上的布尔代数的不交并。我们利用这一描述引入了一种称为粘合的新构造，它允许我们从其他成员构建该簇的新成员。特别地，所有有限成员均可由布尔代数以这种方式构造。最后，我们应用我们的构造证明了任意有限成员的合成约化是一个分配半格，并表明该簇不是局部有限的。
引用
@article{arxiv.2007.14483,
title = {The structure of finite commutative idempotent involutive residuated lattices},
author = {Peter Jipsen and Olim Tuyt and Diego Valota},
journal= {arXiv preprint arXiv:2007.14483},
year = {2021}
}