Reductive Logic and Proof-search