Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Demonstratio Mathematica

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: BCC-algebra

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

Standard QBCC-algebras

Halaš R., Ort J.

Demonstratio Mathematica

2003

Vol. 36, nr 1

1--10

The class of QBBC-algebras was introduced and studied by the authors in ioj. These algebras model properties of the logical connective implication "=>" in which tin- validity of formulas x => y and y => x does not imply the equivalence of x and y. In ihe paper the properties of standard QBCC-algebras derived from qosets are studied.