Kleene Algebras, Regular Languages and Substructural Logics