The following pages link to Flavio Previale (Q1237720):
Displaying 20 items.
- Tavole semantiche per sistemi astratti di logica estensionale (Q1237721) (← links)
- Induction and foundation in the theory of hereditarily finite sets (Q1330312) (← links)
- Absorbing the structural rules in the sequent calculus with additional atomic rules (Q2309499) (← links)
- Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms (Q2936239) (← links)
- (Q3360174) (← links)
- THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY (Q5027662) (← links)
- A NOTE ON THE SEQUENT CALCULI (Q5078820) (← links)
- (Q5520530) (← links)
- (Q5543287) (← links)
- (Q5565094) (← links)
- (Q5582315) (← links)
- (Q5596219) (← links)
- (Q5602081) (← links)
- (Q5613182) (← links)
- (Q5654075) (← links)
- (Q5672605) (← links)
- (Q5684639) (← links)
- On the order of the points of the n - dimensional Euclidean space (Q5723562) (← links)
- Admissibility of the Structural Rules in the Sequent Calculus with Equality (Q6525565) (← links)
- Kanger-Wang-type sequent calculi with equality (Q6642905) (← links)
