The two-sorted algebraic theory of states, and the universal states of MV-algebras

DOI10.1016/J.JPAA.2021.106771MaRDI QIDQ2040522zbMATH OpenOpenAlexFDO

Authors Tomáš Kroupa, Vincenzo Marra

Publication date 14 July 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.03533

zbMATH Keywords

affine representationfree objectlattice-ordered abelian groupmulti-sorted algebraMV-algebrastate

Mathematics Subject Classification ID

MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Abstract: We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free states, and their relation to the universal state of an~MV-algebra. We clarify the relationship of such universal states with the theory of affine representations of lattice-groups. Main result: The universal state of any locally finite MV-algebra---in particular, of any Boolean algebra---has semisimple codomain.

Recommendations

• Generalised states: a multi-sorted algebraic approach to probability
• State-morphism MV-algebras
• Representation and extension of states on MV-algebras
• MV-pairs and state operators
• States on pseudo MV-algebras

Cites work

• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic foundations of many-valued reasoning
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Algebras with a Scheme of Operators
• Averaging the truth-value in Łukasiewicz logic
• Birkhoff's variety theorem in many sorts
• Directed Abelian Groups, Countably Continuous Rings, and Rickart C^* -Algebras
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Free abelian lattice groups
• Free products in the category of Abelian \(\ell\)-groups with strong unit
• Generalised states: a multi-sorted algebraic approach to probability
• Groupes et anneaux reticules
• Heterogeneous algebras
• scientific article; zbMATH DE number 3946195 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1790416 (Why is no real title available?)
• scientific article; zbMATH DE number 7034312 (Why is no real title available?)
• scientific article; zbMATH DE number 195162 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Modal logics of uncertainty with two-layer syntax: a general completeness theorem
• MV-algebras with internal states and probabilistic fuzzy logics
• Ordered group-valued probability, positive operators, and integral representations
• The dual adjunction between MV-algebras and Tychonoff spaces

Cited in

(9)

• Affine representations of \(\ell\)-groups and MV-algebras
• Generalised states: a multi-sorted algebraic approach to probability
• On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
• Lexicographic MV-algebras and lexicographic states.
• Stone Duality Type Theorems for MV-Algebras with Internal State
• The Lebesgue state of a unital abelian lattice-ordered group. II
• The σ-complete MV-algebras which have enough states
• Unimodular triangulations in Łukasiewicz logic: complexity bounds of probabilistic coherence
• The Haar theorem for lattice-ordered abelian groups with order-unit

This page was built for publication: The two-sorted algebraic theory of states, and the universal states of MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040522)