On the rules of intermediate logics