Surprisingly, some small changes in the rules of LK suffice to turn it into a proof system for intuitionistic logic.
令人惊讶的， L K {\displaystyle LK} 的规则的一些细小的变更就足以把它变成直觉逻辑的证明系统。