Abstract
A t-norm logic L_* is the logic of a standard algebra [0,1]_* = (\left[ {0,1} \right],_{ * ,} \to ^ * ,0) for * being a continuous t-norm and \to=^ * The notion of canonical t-algebra introduced by Haniková [12] and Esteva-Godo-Montagna [9], the sets-as-signs approach to many-valued tableau systems by Hähnle [10], and finite-valued reduction techniques [2, 3] allow to describe in a uniform way co-NP calculi for all t-norm logics.