We start with laying down the postulates of B 3 and then, in Section 3.2, we show soundness and completeness. 3.1. Postulates of the Calculus As far as sequent-type calculi for three-valued logics are concerned,—or, more generally, many-valued logics—different techniques have been discusse...