Showing 2018Show all
2 papers · 1 filter
math.LO2018
Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules
Franco Parlamento, Flavio Previale
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…
math.LO2018
A simplified version of the Sequent Calculus G3[mic]^=
Franco Parlamento, Flavio Previale
We show that the Replacement Rule in the sequent calculus G3[mic]}^=, for first order languages with function symbols and equality, can be replaced by the simpler rule in which the…