Flavio Previale

Available identifiers

zbMath Open previale.flavioMaRDI QIDQ1237720

List of research outcomes

Publication	Date of Publication	Type
Kanger-Wang-type sequent calculi with equality	2024-11-25	Paper
A NOTE ON THE SEQUENT CALCULI	2022-05-25	Paper
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY	2022-02-07	Paper
Absorbing the structural rules in the sequent calculus with additional atomic rules	2020-04-01	Paper
A simplified version of the Sequent Calculus G3[mic]^=	2018-10-26	Paper
The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality	2017-05-01	Paper
Contraction Elimination in Sequent Based Ground Equational Calculus	2015-12-30	Paper
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms	2015-01-06	Paper
Induction and foundation in the theory of hereditarily finite sets	1995-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q3360174	1988-01-01	Paper
Tavole semantiche per sistemi astratti di logica estensionale	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5684639	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613182	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596219	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5582315	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5565094	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672605	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5602081	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5520530	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5543287	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5654075	1966-01-01	Paper
On the order of the points of the n - dimensional Euclidean space	1962-01-01	Paper
Admissibility of the Structural Rules in the Sequent Calculus with Equality	N/A	Paper

Research outcomes over time

This page was built for person: Flavio Previale