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 7 Next

Displaying 121 – 140 of 150

Showing per page

Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras

Jan Paseka, Zdena Riečanová, Junde Wu (2010)

Kybernetika

We prove that the interval topology of an Archimedean atomic lattice effect algebra E is Hausdorff whenever the set of all atoms of E is almost orthogonal. In such a case E is order continuous. If moreover E is complete then order convergence of nets of elements of E is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on E corresponding to compact and cocompact elements....

An algorithm for free algebras

Jaroslav Ježek (2010)

Commentationes Mathematicae Universitatis Carolinae

We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.

An application of commutator theory to incidence algebras.

Paolo Lipparini (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Usando la teoria del commutatore in algebra universale, si dimostra che una larga classe di algebre di incidenza sono polinomialmente equivalenti a moduli su anelli con divisione.

An investigation on the n -fold IVRL-filters in triangle algebras

Saeide Zahiri, Arsham Borumand Saeid (2020)

Mathematica Bohemica

The present study aimed to introduce n -fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of n -fold (positive) implicative IVRL-extended filters and n -fold (positive) implicative triangle algebras were defined. Afterwards, several characterizations of the algebras were presented, and the correlations between the n -fold IVRL-extended filters, n -fold (positive) implicative algebras, and the Gödel triangle algebra were discussed.

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 121 – 140 of 150