Residuated Lattices, Regular Languages, and Burnside Problem Rostislav Horčík Institute of Computer Science Academy of Sciences of the Czech Republic Topology, Algebra, and Categories in Logic July 28 – August 1, 2013 Rostislav Horčík (ICS) TACL 2013 1 / 33