Proof Theory and Ordered Groups

Almudena Colacito, George Metcalfe

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups…