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