A general framework for Noetherian well ordered polynomial reductions