One-Step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property