Bernoulli automorphisms of finitely generated free MV-algebras

DOI10.1016/J.JPAA.2006.03.024zbMATH Open1110.06014arXivmath/0408370OpenAlexW2060886623MaRDI QIDQ860428FDOQ860428

Giovanni Panti

Publication date: 9 January 2007

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

Abstract: MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class, and the free n-generated free MV-algebra is representable as an algebra of piecewise-linear continuous functions with integer coefficients over the unit n-dimensional cube. In this paper we show that the automorphism group of such a free algebra contains elements having strongly chaotic behaviour, is the sense that their duals are measure-theoretically isomorphic to a Bernoulli shift. This fact is noteworthy from the viewpoint of algebraic logic, since it gives a distinguished status to Lebesgue measure as an averaging measure on the space of valuations. As an ergodic theory fact, it provides explicit examples of volume-preserving homeomorphisms of the unit cube which are piecewise-linear with integer coefficients, preserve the denominators of rational points, and enjoy the Bernoulli property.

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

Recommendations

• States in Łukasiewicz logic correspond to probabilities of rational polyhedra
• A geometric proof of the completeness of the Łukasiewicz calculus
• Dynamical properties of logical substitutions
• Invariant Measures in Free MV-Algebras
• Advanced Łukasiewicz calculus and MV-algebras
• The Automorphism Group of Falsum-Free Product Logic
• Fuzzy logic as a logic of the expressive strength of information
• scientific article; zbMATH DE number 1522819
• Substitution dynamical systems on infinite alphabets
• Mixing sets and relative entropies for higher-dimensional Markov shifts

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic]MV-algebraBernoulli shiftMcNaughton automorphism

Mathematics Subject Classification ID

Ergodicity, mixing, rates of mixing (37A25) Many-valued logic (03B50) Dynamical aspects of measure-preserving transformations (37A05) Combinatorics and topology in relation with holomorphic dynamical systems (37F20) Invariant measures for infinite-dimensional dissipative dynamical systems (37L40) MV-algebras (06D35)

Cites Work

• Title not available (Why is that?)
• CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Averaging the truth-value in Łukasiewicz logic
• A theorem about infinite-valued sentential logic
• Chaotic group actions
• Ergodicity of toral linked twist mappings
• Title not available (Why is that?)
• Bernoulli diffeomorphisms on surfaces
• Typical dynamics of volume preserving homeomorphisms
• Invariant families of cones and Lyapunov exponents
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A geometric proof of the completeness of the Łukasiewicz calculus
• Title not available (Why is that?)
• Introduction to the ergodic theory of chaotic billiards
• Explicit Transitive Automorphisms of the Closed Unit Square
• Title not available (Why is that?)

Cited In (7)

• The Automorphism Group of Falsum-Free Product Logic
• The Lebesgue state of a unital abelian lattice-ordered group
• Denominator-preserving maps
• Finite axiomatizability in Łukasiewicz logic
• Invariant Measures in Free MV-Algebras
• Finitely generated free MV-algebras and their automorphism groups
• Automorphisms of the Bernoulli endomorphism and a class of skew-products

This page was built for publication: Bernoulli automorphisms of finitely generated free MV-algebras

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