希尔伯特代数的自由蕴涵半格扩张的变体
逻辑
2018-07-09 v1
摘要
在[On the free implicative semilattice extension of a Hilbert algebra. Mathematical Logic Quarterly 58, 3 (2012), 188--207]中，Celani与Jansana给出了希尔伯特代数的自由蕴涵半格扩张的显式描述。本文给出了一条通向该构造的替代路径。此外，遵循我们的步骤，我们展示了在具有上确界的希尔伯特代数与广义海廷代数这两个代数范畴之间可得到一个伴随。最后，在最后一节中我们描述了一个从希尔伯特代数代数范畴到广义海廷代数代数范畴的函子，其可能具有独立的意义。
引用
@article{arxiv.1807.02423,
title = {Variations of the free implicative semilattice extension of a Hilbert algebra},
author = {José L. Castiglioni and Hernán J. San Martín},
journal= {arXiv preprint arXiv:1807.02423},
year = {2018}
}
备注
arXiv admin note: substantial text overlap with arXiv:1705.03856