加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本