The first setting that comes to my mind is Edgar Rice Burroughs' John Carter of Mars. It utilizes a lite variant of the 2d20 system used in games like INFINITY and Mutant Chronicles. Aside from some possible reskinning of races and NPCs to suit your game, it should suit fine. There is a free adventure on DriveThruRPG if you want to take a look.