EuDML | Browse

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.

André-Quillen cohomology for commutative coalgebras

Jolanta Słomińska (1975)

Colloquium Mathematicae

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 \in 𝒟 (A)$ with respect to $B \in 𝒟 (A)$ are introduced and serve as relative pseudocomplements of $C$ w.r.t. $B$ in $𝒟 (A)$ .

Announcements of new results

Jaromír Duda (1996)

Commentationes Mathematicae Universitatis Carolinae

Announcements of new results

Jaromír Duda (1995)

Commentationes Mathematicae Universitatis Carolinae

Antiassociative groupoids

Milton Braitt, David Hobby, Donald Silberger (2017)

Mathematica Bohemica

Given a groupoid $〈 G, ☆ 〉$ , and $k \geq 3$ , we say that $G$ is antiassociative if an only if for all $x_{1}, x_{2}, x_{3} \in 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} \in G$ , any two distinct expressions made by putting parentheses in $x_{1} ☆ x_{2} ☆ x_{3} ☆ \dots ☆ x_{k}$ are never equal. We prove that for every $k \geq 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.

Currently displaying 181 – 200 of 2116

Previous Page 10 Next

Displaying 181 – 200 of 2116

An associative operator on the lattice of varieties of inverse semigroups.

An Elementary Characterization of the Category of (Free) Relational Systems.

An elementary characterization of the category of relational systems

An elementary proof that finite groups are projectively torsion-free

An equational basis in four variables for the three-element tournament

An example of the limit variety of semigroups.

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

André-Quillen cohomology for commutative coalgebras

Annihilators in BCK-algebras

Announcements of new results

Announcements of new results

Antiassociative groupoids

Antiatomic retract varieties of monounary algebras

Applications logiques en théorie des anneaux et des modules

Applications multiformes partielles.

Applications of the Baire-category method to the problem of independent sets

Approximate Mal'tsev operations.

Approximation durch Polynomfunktionen auf universellen Algebren.

Äquivalenz- und Ordnungsrelationen

Arithmeticity at 0

Currently displaying 181 – 200 of 2116