Switch to: References

Add citations

You must login to add citations.
  1. On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
    [10] offers two (cut-free) subscripted Gentzen systems, G 2 T + and G 2 R +, which are claimed to be equivalent in an appropriate sense to the positive relevant logics T + and R +, respectively. In this paper we show that that claim is false. We also show that the argument in [10] for the further claim that cut and/or modus ponens is admissible in two other subscripted Gentzen systems, G 1 T + and G 1 R +, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Gentzen systems and decision procedures for relevant logics.Steve Giambrone - 1982 - Bulletin of the Section of Logic 11 (3/4):169-174.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (2 other versions)Gentzen formulations of two positive relevance logics.Aleksandar Kron - 1981 - Studia Logica 40 (3):311-311.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
    This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations