Invariant Measures in Free MV-Algebras

DOI10.1080/00927870802104394zbMath1154.06008arXivmath/0508445OpenAlexW2148905892MaRDI QIDQ3525186

Giovanni Panti

Publication date: 11 September 2008

Published in: Communications in Algebra (Search for Journal in Brave)

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

zbMATH Keywords

MV-algebraautomorphism-invariant Borel measurefree \(n\)-generated MV-algebrapseudotruth

Mathematics Subject Classification ID

Measure-preserving transformations (28D05) Dynamical aspects of measure-preserving transformations (37A05) MV-algebras (06D35)

Related Items (57)

Convex MV-algebras: many-valued logics meet decision theory ⋮ States on quantum and algebraic structures and their integral representation ⋮ Ordered group-valued probability, positive operators, and integral representations ⋮ Geometrical aspects of possibility measures on finite domain MV-clans ⋮ Extension of belief functions to infinite-valued events ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Stochastic independence for probability MV-algebras ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ States on EQ-algebras ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ First-order limits, an analytical perspective ⋮ Representation of states on effect-tribes and effect algebras by integrals ⋮ Subdirectly irreducible state-morphism BL-algebras ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ State operators on generalizations of fuzzy structures ⋮ States on commutative basic algebras ⋮ States on quantum structures versus integrals ⋮ THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS ⋮ Coherence of de Finetti coherence ⋮ Unnamed Item ⋮ Unnamed Item ⋮ States in Łukasiewicz logic correspond to probabilities of rational polyhedra ⋮ Partially undetermined many-valued events and their conditional probability ⋮ A logical characterization of coherence for imprecise probabilities ⋮ State morphism MV-algebras ⋮ States on pseudo effect algebras and integrals ⋮ State hoops ⋮ Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics ⋮ Towards a probability theory for product logic: states, integral representation and reasoning ⋮ On states and state operators on certain basic algebras ⋮ States on wEMV-algebras ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ STRICT COHERENCE ON MANY-VALUED EVENTS ⋮ Coherence of the Product Law for Independent Continuous Events ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ Probability over Płonka sums of Boolean algebras: states, metrics and topology ⋮ ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE ⋮ Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic ⋮ Probability measures in the logic of nilpotent minimum ⋮ The Automorphism Group of Falsum-Free Product Logic ⋮ Rota's Fubini lectures: the first problem ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Faithful and Invariant Conditional Probability in Łukasiewicz Logic ⋮ An approach to stochastic processes via non-classical logic ⋮ Conditionals and Independence in Many-Valued Logics ⋮ An algebraic treatment of imprecise probabilities ⋮ The lattice and simplex structure of states on pseudo effect algebras ⋮ Betting on continuous independent events ⋮ States on EMV-algebras ⋮ Interpretation of De Finetti coherence criterion in Łukasiewicz logic ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ Every state on interval effect algebra is integral ⋮ Coherence in the aggregate: a betting method for belief functions on many-valued events ⋮ Measures Induced by Units ⋮ Lexicographic MV-algebras and lexicographic states. ⋮ State BCK-algebras and state-morphism BCK-algebras. ⋮ Non-standard probability, coherence and conditional probability on many-valued events

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bernoulli automorphisms of finitely generated free MV-algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• Generic substitutions
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A geometric proof of the completeness of the Łukasiewicz calculus
• Selected topics from the metric theory of dynamical systems

This page was built for publication: Invariant Measures in Free MV-Algebras