Several Classes of BCK-algebras and their Properties

Open access

Several Classes of BCK-algebras and their Properties

In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].

[1] Yuzhong Ding. Several classes of BCI-algebras and their properties. Formalized Mathematics, 15(1):1-9, 2007.

[2] Jie Meng and YoungLin Liu. An Introduction to BCI-algebras. Shaanxi Scientific and Technological Press, 2001.

[3] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.

Formalized Mathematics

(a computer assisted approach)

Journal Information

SCImago Journal Rank (SJR) 2017: 0.119
Source Normalized Impact per Paper (SNIP) 2017: 0.237



Target Group

researchers in the fields of formal methods and computer-checked mathematics

Metrics

All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 41 41 21
PDF Downloads 19 19 14