On some weakening of intuitionistic logic

There is considered calculus $K$ obtained from the intuitionistic propositional calculus by means of replacing the axiom $(p\supset q)\supset((p\supset r)\supset(p\supset q\&r))$ by the rule: $F\supset G$, $F\supset H\vdash F\supset(G\&H)$.