The Logic of the Weak Excluded Middle: a Case Study of Proof-Search