Extending resource-aware logics: Proof systems, semantics and applications | DealShopping Deutschland