Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: warunek (S)

Sortuj według:

Ogranicz wyniki do:

Notes on BCK-algebraa with condition (s)

Huang Y.

Demonstratio Mathematica

2000

Vol. 33, nr 3

452-457

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).