A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
Mojtaba Aghaei, Mohammad Ardeshir · Mathematical logic quarterly · 2000
In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.