That's strange Hetty, I get Kalanchoe thyrsiflora as a synonym of Kalanchoe tetraphylla
http://www.theplantlist.org/tp...
Kalanchoe luciae is a synonym of Kalanchoe luciae subsp. luciae (basically the same thing) which itself is an unresolved name.
http://www.theplantlist.org/tp...
http://www.theplantlist.org/tp...
They do state it is an accepted name on Tropicos though!
It seems neither are accepted names, but the RHS has Kalanchoe thyrsiflora as accepted, which is the most up to date I don't know.