The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “A representation of bounded commutative BCK-algebras.”

Several Classes of BCK-algebras and their Properties

Tao Sun, Dahai Hu, Xiquan Liang (2007)

Formalized Mathematics

Similarity:

In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].

Commutative Energetic Subsets of BCK-Algebras

Young Bae Jun, Eun Hwan Roh, Seok Zun Song (2016)

Bulletin of the Section of Logic

Similarity:

The notions of a C-energetic subset and (anti) permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an (anti) permeable C-value are provided. Also conditions for a subset to be a C-energetic subset are discussed. We decompose BCK-algebra by a partition which consists of a C-energetic subset and a commutative ideal.

Superior subalgebras and ideals of BCK/BCI-algebras

Young Bae Jun, Seok Zun Song (2016)

Discussiones Mathematicae General Algebra and Applications

Similarity:

The notions of superior subalgebras and (commutative) superior ideals are introduced, and their relations and related properties are investigated. Conditions for a superior ideal to be commutative are provided.

On hyper BCC-algebras.

Borzooei, R.A., Dudek, W.A., Koohestani, N. (2006)

International Journal of Mathematics and Mathematical Sciences

Similarity:

BCI-algebras with Condition (S) and their Properties

Tao Sun, Junjie Zhao, Xiquan Liang (2008)

Formalized Mathematics

Similarity:

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