Order:
Disambiguations
Flavio Previale [7]F. Previale [1]
  1.  20
    Ermanno Bencivenga. Il primo libro di logica. Introduzione ai metodi delta logica contemporanea. Serie di logica matematica. Boringhieri, Turin1984, 228 pp. [REVIEW]Flavio Previale - 1986 - Journal of Symbolic Logic 51 (3):827-827.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  2
    Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules.Franco Parlamento & Flavio Previale - forthcoming - Archive for Mathematical Logic:1-20.
    We show that if the structural rules are admissible over a set \ of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in \ to the multisuccedent minimal and intuitionistic \ calculi as well as to the classical one. Two applications to pure logic and to the sequent calculus with equality are presented.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    The Elimination of Atomic Cuts and the Semishortening Property for Gentzen’s Sequent Calculus with Equality.F. Parlamento & F. Previale - forthcoming - Review of Symbolic Logic:1-32.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Induction and Foundation in the Theory of Hereditarily Finite Sets.Flavio Previale - 1994 - Archive for Mathematical Logic 33 (3):213-241.
    The paper contains an axiomatic treatment of the intuitionistic theory of hereditarily finite sets, based on an induction axiom-schema and a finite set of single axioms. The main feature of the principle of induction used (due to Givant and Tarski) is that it incorporates Foundation. On the analogy of what is done in Arithmetic, in the axiomatic system selected the transitive closure of the membership relation is taken as a primitive notion, so as to permit an immediate adaptation of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  14
    Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.Franco Parlamento & Flavio Previale - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 161--172.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  8
    Cellucci Carlo. Teoria delta dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali. Testi e manuali della scienza contemporanea, serie di logica matematica. Boringhieri, Torino 1978, 315 pp. [REVIEW]Flavio Previale - 1982 - Journal of Symbolic Logic 47 (1):220-221.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  3
    Review: J. Zucker, The Correspondence Between Cut-Elimination and Normalization. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    Zucker J.. The Correspondence Between Cut-Elimination and Normalization. Annals of Mathematical Logic, Vol. 7 No. 1 , Pp. 1–112, and Vol. 7, No. 2–3 , Pp. 113–156. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.