On the admissible rules of intuitionistic propositional logic
Rosalie Iemhoff · Journal of Symbolic Logic · 2001
Abstract We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.