Flavio Previale

From MaRDI portal
Person:1237720

Available identifiers

zbMath Open previale.flavioMaRDI QIDQ1237720

List of research outcomes





PublicationDate of PublicationType
Kanger-Wang-type sequent calculi with equality2024-11-25Paper
A NOTE ON THE SEQUENT CALCULI2022-05-25Paper
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY2022-02-07Paper
Absorbing the structural rules in the sequent calculus with additional atomic rules2020-04-01Paper
A simplified version of the Sequent Calculus G3[mic]^=2018-10-26Paper
The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality2017-05-01Paper
Contraction Elimination in Sequent Based Ground Equational Calculus2015-12-30Paper
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms2015-01-06Paper
Induction and foundation in the theory of hereditarily finite sets1995-04-20Paper
https://portal.mardi4nfdi.de/entity/Q33601741988-01-01Paper
Tavole semantiche per sistemi astratti di logica estensionale1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56846391973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56131821971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55962191970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55823151969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55650941968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56726051968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56020811967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55205301966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55432871966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56540751966-01-01Paper
On the order of the points of the n - dimensional Euclidean space1962-01-01Paper
Admissibility of the Structural Rules in the Sequent Calculus with EqualityN/APaper

Research outcomes over time

This page was built for person: Flavio Previale