21 orderedOrdered logic , cut reduction#cut#ordered_logic#cut_elimination#pfenning·cs.cmu.edu·Sep 19, 202321 ordered