Ore localization of amenable monoid actions and applications towards entropy $-$ addition formulas and the bridge theorem