Reductive Logic And Proof Search Proof Theory Semantics And Control