A Minimal Deductive System for Minimalism