有限线性有序对合双半格的计数
逻辑
2021-07-23 v1 组合数学
摘要
对合双半格类扮演着次协调弱 Kleene 逻辑的代数对应物的角色。对合双半格可表示为布尔代数的 Plonka 和，即布尔代数的半格直系统。本文利用 Plonka 和表示，旨在对直系统由全序半格给出的有限对合双半格按同构计数。
引用
@article{arxiv.2107.10540,
title = {Counting finite linearly ordered involutive bisemilattices},
author = {Stefano Bonzio and Michele Pra Baldi and Diego Valota},
journal= {arXiv preprint arXiv:2107.10540},
year = {2021}
}