7 found
Order:
  1.  46
    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   11 citations  
  2.  28
    A note on the sequent calculi.Franco Parlamento & Flavio Previale - forthcoming - Review of Symbolic Logic:1-15.
    We show that the replacement rule of the sequent calculi ${\bf G3[mic]}^= $ in [8] can be replaced by the simpler rule in which one of the principal formulae is not repeated in the premiss.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  19
    Absorbing the structural rules in the sequent calculus with additional atomic rules.Franco Parlamento & Flavio Previale - 2020 - Archive for Mathematical Logic 59 (3-4):389-408.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  18
    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  
  5.  24
    Cellucci Carlo. Teoria della dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali. Testi e manuali della scienza contemporanea, serie di logica matematica. Boringhieri, Torino 1978, 315 pp.Flavio Previale - 1982
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    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)  
     
    Export citation  
     
    Bookmark  
  7.  19
    (2 other versions)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