I formulate a Gentzen consecution calculus for an i n d e f ~ t e number of logics all mixed together, including boolean (two valued), intuitionistic, relevance, and (various) modal logics. This is accomplished by augmenting and refining the structural ideas of Gentzen (1934). The key feature of the calculus permitting control in the presence of multiple logics is this: every "positive part" of...