This issuePrevious ArticleExistence and uniqueness of maximizing measures for robust classes of local diffeomorphismsNext ArticleRecurrence rate in rapidly mixing dynamical systems
Many kinds of algebraic structures have associated dual
topological spaces, among others commutative rings with $1$ (this
being the paradigmatic example), various kinds of lattices,
boolean algebras, C *-algebras, .... These associations are
functorial, and hence algebraic endomorphisms of the structures
give rise to continuous selfmappings of the dual spaces, which can
enjoy various dynamical properties; one then asks about the
algebraic counterparts of these properties. We address this
question from the point of view of algebraic logic. The datum of a
set of truth-values and a "conjunction'' connective on them
determines a propositional logic and an equational class of
algebras. The algebras in the class have dual spaces, and the
duals of endomorphisms of free algebras provide dynamical models
for Frege deductions in the corresponding logic.