Measures induced by units

DOI10.2178/JSL.7803100MaRDI QIDQ2869906zbMATH OpenOpenAlexFDO

Authors Giovanni Panti, Davide Ravotti

Publication date 7 January 2014

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1203.2513, https://projecteuclid.org/euclid.jsl/1389032280

zbMATH Keywords

cancellative hoopCesàro meanlattice-ordered abelian groupMV-algebrastrong unituniform distribution

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) General theory of distribution modulo (1) (11K06)

Abstract: The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops. Fixing a strong unit in a cancellative hoop -equivalently, in the enveloping lattice-ordered abelian group- amounts to fixing a gauge scale for falsity. In this paper we show that any strong unit in a finitely presented cancellative hoop H induces naturally (i.e., in a representation-independent way) an automorphism-invariant positive normalized linear functional on H. Since H is representable as a uniformly dense set of continuous functions on its maximal spectrum, such functionals -in this context usually called states- amount to automorphism-invariant finite Borel measures on the spectrum. Different choices for the unit may be algebraically unrelated (e.g., they may lie in different orbits under the automorphism group of H), but our second main result shows that the corresponding measures are always absolutely continuous w.r.t. each other, and provides an explicit expression for the reciprocal density.

Recommendations

• Invariant Measures in Free MV-Algebras
• scientific article; zbMATH DE number 2216930
• Algebras on subintervals of pseudo-hoops
• scientific article; zbMATH DE number 90575
• scientific article; zbMATH DE number 2216073

Cites work

• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• Denominator-preserving maps
• Every state on semisimple MV-algebra is integral
• scientific article; zbMATH DE number 3946195 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 1033382 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• Invariant Measures in Free MV-Algebras
• Lectures on Polytopes
• Maximal periods of (Ehrhart) quasi-polynomials
• Metamathematics of fuzzy logic
• On the representation of the vector lattice
• On the structure of hoops
• Subdirectly irreducible state-morphism BL-algebras
• The Automorphism Group of Falsum-Free Product Logic
• The Haar theorem for lattice-ordered abelian groups with order-unit

Cited in

(1)

• scientific article; zbMATH DE number 16714 (Why is no real title available?)

This page was built for publication: Measures induced by units

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