Product logic is a many-valued propositional logic whose set of truth-values is the half-open interval (0,1], and whose conjunction connective is ordinary multiplication. As an equational theory, it has free structures, and it turns out that the automorphism groups of these structures have a rich and interesting dynamics. We survey a few results in this area, and discuss some open problems.