1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
3 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…
math.LO2003★ 1 cited
Generic substitutions
Giovanni Panti
Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space ca…