Propositional logics of closed and open substitutions over Heyting's arithmetic
scientific article; zbMATH DE number 5129042