Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algebra BCC

Sortuj według:

Ogranicz wyniki do:

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

Chajda I., Halas R., Kuhr J.

Demonstratio Mathematica

2007

Vol. 40, nr 4

759-768

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