Wyniki wyszukiwania - Biblioteka Nauki

1

The variety of all commutative BCK-algebras is generated by its finite members as a quasivariety

100%

Pałasiński M.

Demonstratio Mathematica

|

2012

|

tom Vol. 45, nr 3

495-518

EN

We prove the result announced by the title as well as some of its consequences.

2

On commutative residual ponoids

71%

Meng J.

Demonstratio Mathematica

|

1998

|

tom Vol. 31, nr 1

11-17

EN

In the present paper we prove the following r

3

Fuzzy QA-ideals in weak BCC-algebras

63%

Łyczkowska A.

Demonstratio Mathematica

|

2001

|

tom Vol. 34, nr 3

513-524

EN

The purpose of this paper is description of properties of QA-ideals and fuzzy QA-ideals in weak BCC-algebras.

4

Irreducible ideals in BCI-algebras

54%

Huang Y.

Demonstratio Mathematica

|

2004

|

tom Vol. 37, nr 1

2--8

EN

In this paper, we show some results of irreducible ideals in BCI-algebras, including that every proper ideal of a BCK-algebra can be decomposed as the intersection of all minimal irreducible ideals associated with it, etc.

5

Notes on BCK-algebraa with condition (s)

54%

Huang Y.

Demonstratio Mathematica

|

2000

|

tom Vol. 33, nr 3

452-457

EN

Some further properties related to BCK-algebras with the condition (S) are obtained. The main results are as follows: (i) If a commutative BCK-algebra X is a lattice with respect to the BCK-ordering <, then X need not be with the condition (S); (ii) A positive implicative BCK-algebra X with the condition (S) may not be a lattice with respect to <, moreover, if (X; <) is a lattice, it must be a distributive lattice; (iii) Each involutory BCK-algebra is with the condition (S).

6

Foldness of Commutative Ideals in BCK-algebras

51%

Lele C. , Moutari S.

Discussiones Mathematicae - General Algebra and Applications

|

2006

|

tom 26

|

nr 1

111-135

EN

This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.

7

Some examples of involutory BCK-algebras

51%

Huang Y.

Demonstratio Mathematica

|

2005

|

tom Vol. 38, nr 4

793--798

EN

K. Iseki raised some unsolved problems on BCK-algebras in 1979. One of them is as follows: Is there a non-commutative BCK-algebra satisfying NNx = x? By giving some examples of such algebras, A. Grzaslewicz definitely answered this problem in 1980. Based on Grzaslewicz's work, we give some further examples in this paper.

8

Fuzzy prime and fuzzy irreducible BCK-filters in BCK-algebras

38%

Jun Y. , Zhang F.

Demonstratio Mathematica

|

1998

|

tom Vol. 31, nr 3

519-527

EN

In this paper we discuss the fuzzification of prime and irreducible BCK-filters in BCK-algebras, and invesigate its properties.

9

On representations of commutative BCK-algebras

38%

Dvurecenskij A. , Graziano M.

Demonstratio Mathematica

|

1999

|

tom Vol. 32, nr 2

227-246

EN

We introduce the relative cancellation property for commutative BCK-algebras and we study the problem of embedding of commutative BCK-algebras into Abelian lattice ordered groups. We show that if a BCK-algebra is not directed upwards, then we cannot use the method of Wyler and Baer. Anyway, supposing either union property or unitary extendibility, we can present the embedding of such a BCK-algebra into the positive cone of an Abelian lattice ordered group with universal property. Finally, some interesting examples are presented.

10

When is a BCC-algebra equivalent to an MV-algebra?

38%

Chajda I. , Halas R. , Kuhr J.

Demonstratio Mathematica

|

2007

|

tom Vol. 40, nr 4

759-768

EN

The aim of this paper is to characterize BCC-algebras which are term equivalent to MV-algebras. It turns out that they arę just the bounded commutative BCC-algebras. Purther, we characterize congruence kernels as deductive systems. The explicit description of a principal deductive system enables us to prove that every subdirectly irreducible bounded commutatwe BCC-algebra is a chain (with respect to the induced order) .

11

On BG-algebras

38%

Kim C. , Kim H.

Demonstratio Mathematica

|

2008

|

tom Vol. 41, nr 3

497-505

EN

In this paper we introduce the notion of BG-algebras which is a generalization of BG-algebras. We construct a BG-algebra from a non-empty set, which is non-group-derived. Moreover, using the notion of normal subalgebra, we obtain several isomorphism theorems of BG-algebra and related properties.

12

BCK-codes Based on a Parity Check Matrix

26%

Keshavarzian N. , Borumand Saeid A. , Tehranian A.

Fundamenta Informaticae

|

2020

|

tom Vol. 174, nr 2

137--165

EN

Hamming codes are of primary concern in information theory and its applications. Despite a number of researches that have been conducted on such codes and their characterizations, dealing with the properties of previously introduced codes in a BCK-algebraic framework has not been considered in earlier works. This paper investigates a code constructed based on BCK-algebraic models and proposes an algorithm corresponding to the presented code. It is noticeable that the suggested rendered algorithm is also established on the basis of the elements of a BCK-algebra. In fact, both the Hamming distance and dimension, associated with the presented code, can be estimated through a BCK-algebra structure due to the mechanism of its algorithm which is heavily dependent on the parity check matrix. In addition, the way in which the codes are designed contributes substantially to classification of them and to extract greater number of their attributes compared to the previous works. The highlight of the proposed method is that the number of atoms of the BCK-algebra plays a key role in calculation of the Hamming distance and dimension of these codes. Moreover, the obtained codes possess specified and recognizable Hamming distance which are essential in performing error-correcting, error-detecting and decoding tasks.