2 problems

Consider the hypersequent rules obtained from geometric frame axioms by the translation method described in the source, together with the linearity rule. Cut-admissibility conjectu…

Let the method in Definition translate geometric frame axioms into hypersequent rules, and let $\mathrm{HG3ipm}$-like calculi be augmented with the $\mathrm{lin}$ rule. Cut-admissi…