A structural rule in logic, particularly proof theory, governs the manipulation of sequent components. It operates without regard to the…
Permutation is a structural rule in logic that enables the exchange of two formulas on the same side of an…