Let $R$ be a prime ring with its Utumi ring of quotients $U$,  $C=Z(U)$ the extended centroid of $R$, $L$ a non-central Lie ideal of $R$ and $0neq a in R$. If $R$ admits a generalized derivation $F$ such that $a(F(u^2)pm F(u)^{2})=0$ for all $u in L$, then one of the following holds: begin{enumerate} item there exists $b in U$ such that $F(x)=bx$ for all $x in R$, with $ab=0$; item $F(x)=...

While the leftmost-innermost narrowing algorithm is incomplete, basic narrowing contains redundancies. We remove these redundancies by introducing a new narrowing procedure, called left-to-right basic narrowing algorithm. For each leftmost-innermost rewriting derivation from (s), there is an equivalent left-to-right basic rewriting derivation , which in turn can be projected on a left-to-right ...

This work is towards the study of the relationship between fuzzy preordered sets and Alexandrov (left/right) fuzzy topologies based on generalized residuated lattices here the fuzzy sets are equipped with generalized residuated lattice in which the commutative property doesn't hold. Further, the obtained results are used in the study of fuzzy automata theory.

The separating space of a derivation onA is a separating ideal [2, Chapter 5]; it also satisfies the same property for the left products. The following assertions are of the most famous conjectures about derivations on Banach algebras: (C1) every derivation on a Banach algebra has a nilpotent separating ideal; (C2) every derivation on a semiprime Banach algebra is continuous; (C3) every derivat...