## 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# Formalized Mathematics

### (a computer assisted approach)

#### Open Access

# Several Classes of BCK-algebras and their Properties

## Several Classes of BCK-algebras and their Properties

## Citing Articles

*Formalized Mathematics*, 2008, Volume 16, Number 2## Comments (0)

Editor-in-Chief: Matuszewski, Roman

4 Issues per year

SCImago Journal Rank (SJR) 2015: 0.134

Source Normalized Impact per Paper (SNIP) 2015: 0.686

Impact per Publication (IPP) 2015: 0.296

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

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

Please log in or register to comment.

Log inRegisterHave you read our house rules for communicating on De Gruyter Online?

Published Online: 2008-06-09Published in Print: 2007-01-01Citation 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, June 2008This content is open access.