Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules
Logic
2018-10-29 v1
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.
Keywords
Cite
@article{arxiv.1810.11407,
title = {Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules},
author = {Franco Parlamento and Flavio Previale},
journal= {arXiv preprint arXiv:1810.11407},
year = {2018}
}
Comments
16 pages