Flavio Previale

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Sequent Calculus

Cut Elimination

Top Venues

Rev. Symb. Log.

Arch. Math. Log.

Publications

Franco Parlamento, Flavio Previale
A note on the Sequent Calculi. Rev. Symb. Log. 15 (2) (2022)
Franco Parlamento, Flavio Previale
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality. Rev. Symb. Log. 14 (4) (2021)
Franco Parlamento, Flavio Previale
Absorbing the structural rules in the sequent calculus with additional atomic rules. Arch. Math. Log. 59 (3-4) (2020)
Franco Parlamento, Flavio Previale
The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality. CoRR (2017)
Franco Parlamento, Flavio Previale
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. ICLA (2013)
Flavio Previale
Induction and foundation in the theory of hereditarily finite sets. Arch. Math. Log. 33 (3) (1994)