# Errata Master's thesis Unfortunately the thesis contains a mistake in the proof of Proposition 5.10. Consequently, the claims made about the calculus presented for the logic BD_3 are not correct. Fortunately, these claims are not included in the paper ``One-step Heyting algebras and hypersequent calculi with the bounded proof property'' which is based on the thesis.