Ishihara's problem of decidable variables asks which class of decidable propositional variables is sufficient to warrant classical theorems in intuitionistic logic. We present several refinements to the class proposed by Ishii for this problem, which also allows the class to cover Glivenko's logic. We also treat the extension of the problem to minimal logic, suggesting a couple of new classes.

中文翻译：

---

构造逻辑的可确定变量

Ishihara的可决定变量问题询问哪类可决定命题变量足以证明直觉逻辑中的经典定理。对于此问题，我们对Ishii提出的课程进行了一些改进，这也使该课程涵盖了Glivenko的逻辑。我们还将问题扩展到最小逻辑，并建议了两个新类。