带结构代数的等式公理化
计算机科学中的逻辑
2019-02-05 v2
摘要
本文提出对可等式公理化代数类的一种新的范畴论描述。我们的方法非常适于处理配备额外计算相关结构的代数,例如有序代数、连续代数、定量代数、名义代数或profinite代数。我们的主要贡献是一个通用的HSP定理以及一个可靠且完备的等式逻辑,它们被证明涵盖了文献中研究的众多等式公理化变体。
引用
@article{arxiv.1812.02016,
title = {Equational Axiomatization of Algebras with Structure},
author = {Stefan Milius and Henning Urbat},
journal= {arXiv preprint arXiv:1812.02016},
year = {2019}
}