相关论文: Towards understanding the Pierce-Birkhoff conjectu…
An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard…
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras…
This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…
In this paper we study the tensor product for MV-algebras, the algebraic structures of \L ukasiewicz $\infty$-valued logic. Our main results are: the proof that the tensor product is preserved by the categorical equivalence between the…
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 study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian. We introduce $(H,u)$-perfect pseudo MV-algebras and…
For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise \L ukasiewicz negation $\neg x=\{\neg \alpha\mid \alpha\in x\}$, (truncated) Minkowski sum, $x\oplus y=\{\alpha\oplus \beta\mid \alpha \in x,\,\,\beta\in…
In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational {\L}ukasiewicz logic…
In this paper, a new algebraic structure is defined, which is a new MV-algebra that has a product operation, we will call it MVW-rig (Multivalued-weak rig). This structure is defined with universal algebra axioms, it is presented with a…
We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify the aforementioned construction by observing that there is…
We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with…
This paper is a step in our program for proving the Piece-Birkhoff Conjecture for regular rings of any dimension (this would contain, in particular, the classical Pierce-Birkhoff conjecture which deals with polynomial rings over a real…
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…
An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…
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…
The McKay Conjecture (MC) asserts the existence of a bijection between the (inequivalent) complex irreducible representations of degree coprime to $p$ ($p$ a prime) of a finite group $G$ and those of the subgroup $N$, the normalizer of…
A proof of Poincar\'e-Birkhoff-Witt theorem is given for a class of generalized Lie algebras closely related to the Gurevich S-Lie algebras. As concrete examples, we construct the positive (negative) parts of the quantized universal…
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…
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…
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…