Dynamical properties of logical substitutions (Q2503197)

Let \(T\) be a set of truth-values, and assume \(T\) to be contained in the real unit interval. Equipping \(T\) with a set of operations, we get an algebra \(M\); we denote by \(VM\) the equational class generated by \(M\), and by \(LM\) the underlying logic of \(VM\). Fix a free algebra \(F\) in \(VM\) and let \(F'\) be its dual topological space. Endomorphisms of \(F\) correspond to applications of the substitution rule in deductions in \(LM\). Endomorphisms of \(F\) also correspond to continuous self-mappings of \(F'\). Any set \(S\) of elements of \(F\) is associated to an open set \(S'\) in \(F'\), in such a way that the deductive closure of \(S\) corresponds to taking the union of the backwards translates of \(S'\) under the dynamics. In this original paper, the author investigates the mutual relations between dynamical properties, such as minimality or mixing, and their logical counterparts. The second half of the paper mainly deals with the particular case when \(M\) is the unit interval equipped with negation \(1-x\) and truncated addition. Then \(VM\) is the variety of Chang's MV-algebras, the algebras of infinite-valued Łukasiewicz logic. McNaughton's theorem states that the free \(n\)-generator MV-algebra \(F\) is the algebra of all \([0,1]\)-valued continuous piecewise linear functions over the \(n\)-cube, each piece having integer coefficients. Endomorphisms of \(F\) dually correspond to \(n\)-tuples of such functions, called McNaughton mappings. Generalizing \textit{M. Tsujii}'s construction of differentials of piecewise-linear maps [Invent. Math. 143, No. 2, 349--373, (2001; Zbl 0969.37012)], and using the well-known categorical equivalence between MV-algebras and unital lattice-ordered abelian groups, the author provides a very interesting coordinate-free characterization of the differentials of McNaughton mappings. For background on MV-algebras see the monograph [\textit{R. L. O. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning, Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)].