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].

Keywords:
References
  • [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) 2016: 0.207
Source Normalized Impact per Paper (SNIP) 2016: 0.315

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 4 4 4
PDF Downloads 2 2 2