  The tree structure of the tableaux remains the same in these calculi as in the tableau calculi for classical logic. The labels of the nodes become more general objects, namely, signed formulas. A signed formula is a pair, consisting of a sign and a well-formed formula. A sign is either a truth degree, or a set of truth degrees.