Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules
arXiv:1810.11407
Abstract
We show that if the structural rules are admissible over a set R of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in R to G3[mic]. Two applications to pure logic and to the sequent calculus with equality are presented.
16 pages