状态BCK-代数与状态态射BCK-代数
交换代数
2013-04-26 v1 环与代数
摘要
本文定义了状态BCK-代数和状态态射BCK-代数的概念，通过添加一个模拟概率推理的一元算子扩展了BCK-代数的语言。我们分别给出了状态算子与状态态射算子同BCK-代数上的测度和状态之间的关系。我们研究了子直不可约状态(态射)BCK-代数。引入了BCK-代数中伴随对的概念，并证明了伴随对与状态态射算子之间存在一一对应关系。此外，我们给出了状态态射BCK-代数拟簇的生成元。
引用
@article{arxiv.1304.6963,
title = {State BCK-algebras and State-Morphism BCK-algebras},
author = {R. A. Borzooei and A. Dvurečenskij and O. Zahiri},
journal= {arXiv preprint arXiv:1304.6963},
year = {2013}
}