Flavio Previale

According to our database, Flavio Previale authored at least 6 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

A note on the Sequent Calculi.

Franco Parlamento, Flavio Previale

Rev. Symb. Log., 2022

2021

The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality.

Franco Parlamento, Flavio Previale

Rev. Symb. Log., 2021

2020

Absorbing the structural rules in the sequent calculus with additional atomic rules.

Franco Parlamento, Flavio Previale

Arch. Math. Log., 2020

2017

The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality.

Franco Parlamento, Flavio Previale

CoRR, 2017

2013

Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.

Franco Parlamento, Flavio Previale

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

1994

Induction and foundation in the theory of hereditarily finite sets.

Flavio Previale

Arch. Math. Log., 1994