General Theory of Quasi-Commutative BCI-algebras

Tao Sun, Weibo Pan, Chenglong Wu, Xiquan Liang. General Theory of Quasi-Commutative BCI-algebras. Formalized Mathematics, 16(1-4):253-258, 2008. [doi]

Authors

Tao Sun

This author has not been identified. Look up 'Tao Sun' in Google

Weibo Pan

This author has not been identified. Look up 'Weibo Pan' in Google

Chenglong Wu

This author has not been identified. Look up 'Chenglong Wu' in Google

Xiquan Liang

This author has not been identified. Look up 'Xiquan Liang' in Google