Switch to: References

Add citations

You must login to add citations.
  1. Decidable variables for constructive logics.Satoru Niki - 2020 - Mathematical Logic Quarterly 66 (4):484-493.
    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.
    Download  
     
    Export citation  
     
    Bookmark