伪BCK-代数的交换演绎系统
逻辑
2016-03-17 v1
摘要
本文我们将M. Pa{\l}asi\'nski、B. Wo\'zniakowska以及W.H. Cornish给出的交换BCK-代数的公理系统推广到交换伪BCK-代数的情形。并给出了交换伪BCK-代数的一个刻画。我们定义了伪BCK-代数的交换演绎系统，并将Yisheng Huang关于BCI-代数的交换理想的一些结果推广到伪BCK-代数的交换演绎系统的情形。我们证明伪BCK-代数 是交换的当且仅当 的所有演绎系统都是交换的。我们证明伪BCK-代数 的正规演绎系统 是交换的当且仅当 是交换伪BCK-代数。我们引入伪BCK-代数上的态算子和态态射算子的概念，并将这些关于交换演绎系统的结果应用于研究这些算子的性质。
引用
@article{arxiv.1603.05241,
title = {Commutative deductive systems of pseudo BCK-algebras},
author = {Lavinia Corina Ciungu},
journal= {arXiv preprint arXiv:1603.05241},
year = {2016}
}