摘要：We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic.
其他关键词：classical propositional logic, intuitionistic propositional logic, decidability of variables .
