All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 10 Next

Displaying 181 – 200 of 207

Showing per page

Annihilators in BCK-algebras

Radomír Halaš (2003)

Czechoslovak Mathematical Journal

We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra 𝒜 . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice 𝒟 ( A ) of all deductive systems on 𝒜 . Moreover, relative annihilators of C ∈ 𝒟 ( A ) with respect to B ∈ 𝒟 ( A ) are introduced and serve as relative pseudocomplements of C w.r.t. B in 𝒟 ( A ) .

Antiassociative groupoids

Milton Braitt, David Hobby, Donald Silberger (2017)

Mathematica Bohemica

Given a groupoid 〈 G , ☆ 〉 , and k ≥ 3 , we say that G is antiassociative if an only if for all x 1 , x 2 , x 3 ∈ G , ( x 1 ☆ x 2 ) ☆ x 3 and x 1 ☆ ( x 2 ☆ x 3 ) are never equal. Generalizing this, 〈 G , ☆ 〉 is k -antiassociative if and only if for all x 1 , x 2 , ... , x k ∈ G , any two distinct expressions made by putting parentheses in x 1 ☆ x 2 ☆ x 3 ☆ ⋯ ☆ x k are never equal. We prove that for every k ≥ 3 , there exist finite groupoids that are k -antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.

Atomary tolerances on finite algebras

Bohdan Zelinka (1996)

Mathematica Bohemica

A tolerance on an algebra is defined similarly to a congruence, only the requirement of transitivity is omitted. The paper studies a special type of tolerance, namely atomary tolerances. They exist on every finite algebra.

Currently displaying 181 – 200 of 207