Propositional logics of closed and open substitutions over Heyting's arithmetic - Visser, Albert (Dep. of Philosophy, Utrecht Univ., 2005)