BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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 Q-vector lattices, we present the divisible hull as a categorical adjunction and we prove a duality between finitely presented algebras and rational polyhedra.
Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provide an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events. However, using the original definition of Łukasiewicz-Moisil algebra, the principle does not apply for subalgebras. In this paper we identify an alternative and equivalent definition for the n-valued Łukasiewicz-Moisil algebras, in which the determination principle is also saved for arbitrary subalgebras, which are characterized by a Boolean algebra and a family of Boolean ideals. As a consequence, we prove a duality result for the n-valued Łukasiewicz-Moisil algebras, starting from the dual space of their Boolean center. This leads us to a duality for MVn-algebras, since are equivalent to a subclass of n-valued Łukasiewicz-Moisil algebras.
In this paper we study the tensor product for MV-algebras, the algebraic structures of Łukasiewicz ∞-valued logic. Our main results are: the proof that the tensor product is preserved by the categorical equivalence between the MV-algebras and abelian lattice-order groups with strong unit and the proof of the scalar extension property for semisimple MV-algebras. We explore consequences of this results for various classes of MV-algebras and lattice-ordered groups enriched with a product operation.
We prove that any MV-algebra has a faithful state can be embedded in an \em{f}MV-algebra of integrable functions. As consequence, we prove Hölder's inequality and Hausdorff moment problem for MV-algebras with product and we propose a solution for the stochastic independence of probability MV-algebras.
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 lattice-ordered groups is the vector-lattice hull of an archimedean lattice-ordered group. Following a similar approach, in this paper we define the Riesz hull of a semisimple MV-algebra.
Our main issue was to understand the connection between Łukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we define the class of \textit{f}MV-algebras, which are MV-algebras endowed with both an internal binary product and a scalar product with scalars from [0,1]. The proper quasi-variety generated by [0,1], with both products interpreted as the real product, provides the desired framework: the normal form theorem of its corresponding logical system can be seen as a local version of the Pierce-Birkhoff conjecture.
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 ℓ-groups, we prove that Riesz MV-algebras are categorically equivalent with unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent with the class of commutative unital C∗-algebras. The propositional calculus RL that has Riesz MV-algebras as models is a conservative extension of Łukasiewicz ∞-valued propositional calculus and it is complete with respect to evaluations in the standard model [0,1]. We prove a normal form theorem for this logic, extending McNaughton theorem for Łukasiewicz logic. We define the notions of quasi-linear combination and quasi-linear span for formulas in RL and we relate them with the analogue of de Finetti's coherence criterion for RL.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.