Abstract Normative Systems: Semantics and Proof Theory