Jump to ContentJump to Main Navigation
Show Summary Details
In This Section

Formalized Mathematics

(a computer assisted approach)

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

Open Access
Online
ISSN
1898-9934
See all formats and pricing
In This Section
Volume 15, Issue 4 (Jan 2007)

Issues

Several Classes of BCK-algebras and their Properties

Tao Sun
  • Qingdao University of Science and Technology, China
/ Dahai Hu
  • Qingdao University of Science and Technology, China
/ Xiquan Liang
  • Qingdao University of Science and Technology, China
Published Online: 2008-06-09 | DOI: https://doi.org/10.2478/v10037-007-0027-2

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.

About the article


Published Online: 2008-06-09

Published in Print: 2007-01-01



Citation Information: Formalized Mathematics, ISSN (Online) 1898-9934, ISSN (Print) 1426-2630, DOI: https://doi.org/10.2478/v10037-007-0027-2. Export Citation

This content is open access.

Comments (0)

Please log in or register to comment.
Log in