Induction and foundation in the theory of hereditarily finite sets. - Flavio Previale (Arch. Math. Log., 1994)

Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. - Franco Parlamento; Flavio Previale (ICLA, 2013)

The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality. - Franco Parlamento; Flavio Previale (CoRR, 2017)

Absorbing the structural rules in the sequent calculus with additional atomic rules. - Franco Parlamento; Flavio Previale (Arch. Math. Log., 2020)

The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality. - Franco Parlamento; Flavio Previale (Rev. Symb. Log., 2021)

A note on the Sequent Calculi. - Franco Parlamento; Flavio Previale (Rev. Symb. Log., 2022)