we consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $x$, $(x, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $x$. we also show that, for a strong residuated lattice $x$, $bigcap {p_{lambda} ,|,p_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

In [16], by using an MV-semiring and MV-algebra, we introduced the new definition of MV-semimodule studied some their basic properties. this paper, study present definitions primary ideals MV-semirings, decomposition in A-ideals MV -semimodules, MV-semimodules. Then conditions that A-ideal can have a reduced decomposition.

We provide a generalization of Mundici's equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category commutative is equivalent to MV-monoidal algebras. Roughly speaking, structures we call are without unary operation $x \mapsto -x$. The primitive operations $+$, $\lor$, $\land$, $0$, $1$, $-1$. A prime example these $\mathbb{R}$, with obvious interpretation operation...

Then it follows that mvm = m. Our main goal is to find an analogue of the Möbius transform on MV-algebras [4]. To this end, replace the boolean algebra 2X with a semisimple MV-algebra MX . There is no loss of generality in assuming that X is a compact Hausdorff space and MX is a separating MV-algebra of continuous functions over X. Since every Möbius transform mv corresponds to some finitely-ad...

MV-algebras were introduced by Chang, 1958 as algebraic bases for multi-valued logic. MV stands for "multi-valued" and MV algebras have already occupied an important place in the realm of nonstandard (mathematical) logic applied in several fields including cybernetics. In the present paper, using the Loomis-Sikorski theorem for cr-MV-algebras, we prove that, with every element a in a cr-MV alge...

The variety of MV-algebras is the equivalent algebraic semantics of the infinitely-valued Lukasiewicz logic [1], and MVn-algebras are algebraic models of the Lukasiewicz logic with n truth values (2 ≤ n < ω). Recall that an algebra A ∈ V is said to be a free algebra in a variety V, if there exists a set A0 ⊂ A such that A0 generates A and every mapping f from A0 to any algebra B ∈ V can be exte...

The unitary Cayley graph Xn has vertex set Zn = {0, 1,…, n-1} and vertices u and v are adjacent, if gcd(uv, n) = 1. In [A. Ilić, The energy of unitary Cayley graphs, Linear Algebra Appl. 431 (2009) 1881–1889], the energy of unitary Cayley graphs is computed. In this paper the Wiener and hyperWiener index of Xn is computed.

Using the notion of bipolar-valued fuzzy sets, the concepts of bipolar fuzzy (weak, s-weak, strong) hyper BCK-ideals are introduced, and their relations are discussed in [3]. Further properties are investigated in this article. We show that if Φ = (H ;μΦ , μ N Φ ) is a bipolar fuzzy (weak, strong) hyper BCK-ideal of a hyper BCK-algebra H, then the set I := {x ∈ H | μΦ(x) = μΦ(0), μΦ (x) = μΦ (0...

We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...