Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Demonstratio Mathematica

2 2007

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

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

Pseudo BCK-semilattices

Kuhr J.

Demonstratio Mathematica

2007

Vol. 40, nr 3

495-516

Pseudo BCK-algebras are algebras (A,approaches 1) of type (2, 2, 0) which generalize BCK-algebras in such a way that if the operations-› and ->coincide then (A,-›, 1) is a BCK-algebra. They can be also viewed as {-›,->, 1}-subreducts of non-commutative integral residuated lattices. In the paper, we study pseudo BCK-algebras whose underlying posets are semilattices or lattices; we call them pseudo BCK-join-semilattices, pseudo BCK-meet-semilattices and pseudo BCK-lattices, respectively. After describing their congruence properties we deal mainly with prime deductive systems of pseudo BCK-join-semilattices.