  For finitely valued systems, particularly \(m\)-valued ones, there are also sequent calculi which work with generalized sequents. In the \(m\)-valued case, these are sequences of length \(m\) of sets of formulas.