Graphs of Plural Cuts

K. Dosen, Z. Petric

Plural (or multiple-conclusion) cuts are inferences made by applying a structural rule introduced by Gentzen for his sequent formulation of classical logic. As singular (single-con…