Showing math.LOShow all
2 papers · 1 filter
math.LO2004
Dynamical properties of logical substitutions
Giovanni Panti
This is an expository paper on the dynamical properties of substitutions in propositional many-valued logics. We identify substitutions with endomorphisms of free algebras, and we…
math.LO2004
Bernoulli automorphisms of finitely generated free MV-algebras
Giovanni Panti
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 ord…