相关论文: A finite axiomatization of positive MV-algebras
MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative…
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.
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…
Positive modal algebras are the positive-subreducts of modal algebras. We prove that the variety of positive S4-algebras is not locally finite. On the other hand, the free one-generated positive S4-algebra is shown to be finite. Moreover,…
We characterize all profinite MV-algebras, these are MV-algebras that are inverse limits of finite MV-algebras. It is shown that these are exactly direct product of finite \L ukasiewicz's chains. We also prove that the category $\mathbb{M}$…
We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators…
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 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 investigate related properties of some particular derivations and give some characterizations of additive derivations in MV-algebras. Then, we obtain that the fixed point set of additive derivations is still an MV-algebra.…
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…
Let $\mathcal{V}$ be a congruence permutable variety generated by a finite nilpotent algebra $\mathbf{A}$. If $\mathbf{A}$ is a product of algebras of prime power order, then the class $\mathcal{V}_\text{si}$ of subdirectly irreducible…
Nuclear $C^*$-algebras having a system of completely positive approximations formed with convex combinations of a uniformly bounded number of order zero summands are shown to be approximately finite dimensional.
A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show…
Replacing $\{0\}$ by the whole ideal of infinitesimals yields a weaker notion of \emph{archimedean element} that we call \emph{quasiarchimedean}. It is known that semisimple MV-algebras with compact maximal spectrum (in the co-Zarisky…
We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…
We study $\mathbb H$-perfect pseudo MV-algebras, that is, algebras which can be split into a system of ordered slices indexed by the elements of an subgroup $\mathbb H$ of the group of the real numbers. We show when they can be represented…
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as…
Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large…
We determine the profinite completions of MV-algebras, and obtain a description that generalizes the well known profinite completions of Boolean algebras as the power sets of their Stone spaces. We also use the description found to…
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…