D. Buşneag 1 defined pseudo valuation on a Hilbert algebra and proved that every pseudo valuation induces a pseudometric on a Hilbert algebra. Also, D. Buşneag 2 provided several theorems on extensions of pseudo valuations. C. Buşneag 3 introduced the notions of pseudo valuations valuations on residuated lattices, and proved some theorems of extension for these using the model of Hilbert algebr...

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.

The natural bijective correspondence between MV-algebras and pseudorings is generalized to the case of pseudoMV-algebras. We first introduce the concepts of noncommutative pseudorings and strong pseudo De Morgan algebras. Then, we show that they both correspond to pseudo MV-algebras via symmetric difference in a natural bijective way.

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

Pseudo-MTL algebras or weak pseudo-BL algebras are non-commutative fuzzy structures which arise from pseudo-t-norms, namely, pseudo-BL algebras without the pseudo-divisibility condition. The aim of this paper is to investigate the properties of pseudo-BL algebras that also hold for pseudoMTL algebras. We will also study some classes of pseudo-MTL algebras such as good, local and Archimedean pse...