Related papers: Varieties of MV-monoids and positive MV-algebras
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for the class of such algebras.
Let $A$ be an MV-algebra. An $(\odot,\vee)$-derivation on $A$ is a map $d: A\to A$ satisfying: $d(x \odot y) = (d(x) \odot y) \vee(x \odot d(y))$ for all $x, y \in A$. This paper initiates the study of $(\odot,\vee)$-derivations on…
We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from…
General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product…
We provide a generalization of Mundici's equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category of unital commutative lattice-ordered groups is equivalent to the category of MV-monoidal algebras. Roughly…
A subresiduated lattice ordered commutative monoid (or srl-monoid for short) is a pair $(\textbf{A},Q)$ where $\textbf{A}=(A,\wedge,\vee,\cdot,e)$ is an algebra of type $(2,2,2,0)$ such that $(A,\wedge,\vee)$ is a lattice, $(A,\cdot,e)$ is…
The paper provides a study of pseudo MV-algebras with square roots. We introduce different notions of a square root on a pseudo MV-algebra, and present their main properties. We show that the class of pseudo-MV-algebras with square roots is…
Compact Hausdorff topological MV-algebras and Stone MV-algebras are completely characterized. We obtain that compact Hausdorff topological MV-algebras are product (both topological and algebraic) of copies $[0,1]$ with standard topology and…
In this paper using the connections between some subvarieties of residuated lattices, we investigated some properties of the lattice of ideals in commutative and unitary rings. We give new characterizations for commutative rings $A$ in…
Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and…
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…
We propose in this article a definition of a MV-algebra structure on a class of subsets of some probability spaces and we work-out some examples. Our intention is to convey, by mean of the simplest possible examples, the idea that the…
In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.
An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally…
We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated…
We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of…
MV-algebras and Riesz MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit and, respectively, with Riesz spaces (vector-lattices) with strong unit. A standard construction in the literature of…
A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible…
In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $\mathbb Q$-vector lattices, we present the divisible hull as a categorical…
We explore the relationship between the category of MV-algebras and its full subcategories of perfect and semisimple algebras, showing that this pair of subcategories defines a pretorsion theory. We study the Galois structure associated…