On the Haldén property and disjunction property of Heyting-Brouwer intermediate prepositional logics,