ZY3代数中有限生成的理想

讨论了在ZY3代数中如何由集生成理想及其有限生成理想的特征。并指出ZY3代数中理想的定义与BCI-代数和BCK-代数中理想的定义相同。

ZY3代数的一个公理系统

本文指出ZY3代数的原公理系统是不独立的,并给出ZY3代数的一个新的公理系统。

BCYB代数的常个体及ZY3代数的简化刻画

证明了在等价意义下,BCYB代数有常个体,同时还简化了ZY3代数的刻画规则。