Logical calculi for reasoning with binding by