first we show that the cosets of a fuzzy ideal μ in a bck-algebrax form another bck-algebra  x/μ (called the fuzzy quotient bck-algebra of x by μ). also we show thatx/μ is a fuzzy partition of x and we prove several some isomorphism theorems. moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition p of a commutative bck-algebra iscompatible, then p is a fuzzy quo...

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

In this paper, we introduce the new concept of biprojectivity of a Banach algebra modulo an ideal, as a generalization of this notion in the classical case. By using it , we obtain some necessary and sufficient conditions for contractibility of Banach algebras modulo an ideal. In particular we characterize the contractibility of quotient Banach algebras. Also we study the relationship between t...

In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...

Let $mathcal{A}$ be a Banach algebra with BAI and $E$ be an introverted subspace of $mathcal{A}^prime$. In this paper we study the quotient Arens regularity of $mathcal{A}$ with respect to $E$ and prove that the group algebra $L^1(G)$ for a locally compact group $G$, is quotient Arens regular with respect to certain introverted subspace $E$ of $L^infty(G)$. Some related result are given as well.

let $mathcal{a}$ be a banach algebra with bai and $e$ be an introverted subspace of $mathcal{a'}$.in this paper we study the quotient arens regularity of $mathcal{a}$ with respect to $e$ and prove that the group algebra $l^1(g)$ for a locally compact group $g$, is quotient arens regular with respect to certain introverted subspace $e$ of $l^infty(g)$.some related result are given as well.

In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.

In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.

Let R be a non empty poset. One can verify that there exists an order sorted set of R which is binary relation yielding. Let R be a non empty poset, let A, B be many sorted sets indexed by the carrier of R, and let I1 be a many sorted relation between A and B. We say that I1 is os-compatible if and only if the condition (Def. 1) is satisfied. (Def. 1) Let s1, s2 be elements of the carrier of R....

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...