Axiomatization of local-global principles for pp-formulas in spaces of orderings