态伪等式代数
逻辑
2016-02-26 v1
摘要
伪等式代数最初由 Jenei 和 引入，作为模糊类型理论的一种可能代数语义，并被 Dvure\v censkij 和 Zahiri 以 JK-代数的名称修订。本文旨在研究伪等式代数上的内态与态态射。我们定义并研究了伪等式代数的新类，如交换、对称、pointed 和兼容伪等式代数。我们证明伪等式代数上的任意内态（态态射）也是其对应伪 BCK(pC)-交半格上的内态（态态射），并证明了对于线性有序对称伪等式代数的情形其逆也成立。我们还表明伪 BCK(pC)-交半格上的任意内态（态态射）也是其对应伪等式代数上的内态（态态射）。引入了 pointed 伪等式代数上的 Bosbach 态的概念，并证明 pointed 伪等式代数上的任意 Bosbach 态也是其对应 pointed 伪 BCK(pC)-交半格上的 Bosbach 态。对于不变 pointed 伪等式代数的情形，我们证明这两种结构上的 Bosbach 态一致。
引用
@article{arxiv.1602.07828,
title = {State pseudo equality algebras},
author = {Lavinia Corina Ciungu},
journal= {arXiv preprint arXiv:1602.07828},
year = {2016}
}