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

Show Summary Details# Several Classes of BCK-algebras and their Properties

#### Open Access

## Several Classes of BCK-algebras and their Properties

## About the article

## Citing Articles

*Formalized Mathematics*, 2008, Volume 16, Number 2*Formalized Mathematics*, 2008, Volume 16, Number 3

More options …# Formalized Mathematics

### (a computer assisted approach)

More options …

Editor-in-Chief: Matuszewski, Roman

4 Issues per year

SCImago Journal Rank (SJR) 2016: 0.207

Source Normalized Impact per Paper (SNIP) 2016: 0.315

Tao Sun / Dahai Hu / Xiquan Liang

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.Google Scholar[2] Jie Meng and YoungLin Liu.

*An Introduction to BCI-algebras.*Shaanxi Scientific and Technological Press, 2001.Google Scholar[3] Zinaida Trybulec. Properties of subsets.

*Formalized Mathematics*, 1(1):67-71, 1990.Google Scholar

**Published Online**: 2008-06-09

**Published in Print**: 2007-01-01

**Citation Information: **Formalized Mathematics, Volume 15, Issue 4, Pages 237–242, ISSN (Online) 1898-9934, ISSN (Print) 1426-2630, DOI: https://doi.org/10.2478/v10037-007-0027-2.

This content is open access.

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

[1]

Chenglong Wu and Yuzhong Ding

[2]

Tao Sun, Weibo Pan, Chenglong Wu, and Xiquan Liang

## Comments (0)