Flavio Previale

Available identifiers

zbMath Open previale.flavioMaRDI QIDQ1237720

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Flavio Previale