Measures induced by units

DOI10.2178/JSL.7803100zbMATH Open1323.03097arXiv1203.2513OpenAlexW2087521415MaRDI QIDQ2869906FDOQ2869906

Giovanni Panti, Davide Ravotti

Publication date: 7 January 2014

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

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.

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

Recommendations

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

zbMATH Keywords

uniform distributionMV-algebrastrong unit[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Ces%EF%BF%BD%EF%BF%BDro+mean&go=Go Ces��ro mean]lattice-ordered abelian groupcancellative hoop

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)