2 citations · 2 across the 6 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
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…