<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article we will first investigate the elementary properties of BCI-algebras with condition (S), see [8]. And then we will discuss the three classes of algebras: commutative, positive-implicative and implicative BCK-algebras with condition (S).</p><p>MML identifier: BCIALG 4, version: 7.8.09 4.97.1001</p></abstract>

In this article we will first investigate the elementary properties of BCI-algebras with condition (S), see [8]. And then we will discuss the three classes of algebras: commutative, positive-implicative and implicative BCK-algebras with condition (S).MML identifier: BCIALG 4, version: 7.8.09 4.97.1001

BCI-algebras with Condition (S) and their Properties

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"BCI-algebras with Condition (S) and their Properties"}

In this article we will first investigate the elementary properties of BCI-algebras with condition (S), see [8]. And then we will discuss the three classes of...

BCI-algebras with Condition (S) and their Properties

Pubblicato online: 20 mar 2009

Pagine: 65 - 71

DOI: https://doi.org/10.2478/v10037-008-0010-6

This content is open access.