We generalize the notion of an MV-algebra in the context of residuated lattices to include noncommutative and unbounded structures. We investigate a number of their properties and prove that they can be obtained from lattice-ordered groups via a truncation construction that generalizes the Chang–Mundici Γ functor. This correspondence extends to a categorical equivalence that generalizes the one...

In his classical paper 1 , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see 2–5 . The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic...

s of Invited Speakers 1

In recent years, tire wear particles (TWP), as the significant proportion of microplastics (MPs), has adsorbed much attention due to its widespread presence in aquatic ecosystem. Compared with typical MPs, TWP exists differences composition, additives, characteristics and so on. With polypropylene (PP) target Cd2+ Pb2+ pollutants, adsorption-desorption heavy metal ions on original aged MPs were...

MV-pairs and states – p. 1/2

For an o-minimal expansion R of a real closed field and a set V of Th(R)-convex valuation rings, we construct a “pseudo completion” with respect to V . This is an elementary extension S of R generated by all completions of all the residue fields of the V ∈ V , when these completions are embedded into a big elementary extension of R. It is shown that S does not depend on the various embeddings u...

Similarities are an extension of equivalence relations to a fuzzy context. In this paper we introduce the class of similarity MV-algebras obtained as a generalization of the variety of MValgebras by adding a binary operator playing the role of similarity. We further introduce the similarity Łukasiewicz logic and we prove a completeness theorem.

An MV-pair is a pair (B, G) where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain conditions. Let ∼G be the equivalence relation on B naturally associated with G. We prove that for every MV-pair (B, G), the effect algebra B/ ∼G is an MV-effect algebra. Moreover, for every MV-effect algebra M there is an MV-pair (B, G) such that M is isomorphic to B/ ∼G.

In this paper, we propose extensions of affine classical linear algebra(ACL-algebra) and many-valued algebra(MV-algebra), the emphasis is being on the latter. MV-algebras are algebraic models of à Lukasiewicz א0-valued logic(à Lא0) and that was established long back in 1958 by C.C. Chang. MV-algebra is recently studied from the angle of fuzzy set theory. Also it is investigated in connection wi...

relative to a hereditary torsion theory $tau$ we introduce a dimension for a module $m$, called {em $tau$-rank of} $m$, which coincides with the reduced rank of $m$ whenever $tau$ is the goldie torsion theory. it is shown that the $tau$-rank of $m$ is measured by the length of certain decompositions of the $tau$-injective hull of $m$. moreover, some relations between the $tau$-rank of $m$ and c...