Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Gentzen formulations of two positive relevance logics.Aleksandar Kron - 1980 - Studia Logica 39 (4):381 - 403.
    The author gentzenizes the positive fragmentsT + andR + of relevantT andR using formulas with, prefixes (subscripts). There are three main Gentzen formulations ofS +{T+,R +} calledW 1 S +,W 2 S + andG 2 S +. The first two have the rule of modus ponens. All of them have a weak rule DL for disjunction introduction on the left. DL is not admissible inS + but it is needed in the proof of a cut elimination theorem forG 2 S (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (2 other versions)Gentzen formulations of two positive relevance logics.Aleksandar Kron - 1981 - Studia Logica 40 (3):381 - 403.
    The author gentzenizes the positive fragments T₊ and R₊ of relevant T and R using formulas with prefixes (subscripts). There are three main Gentzen formulations of $S_{+}\in \{T_{+},R_{+}\}$ called W₁ S₊, W₂ S₊ and G₂ S₊. The first two have the rule of modus ponens. All of them have a weak rule DL for disjunction introduction on the left. DL is not admissible in S₊ but it is needed in the proof of a cut elimination theorem for G₂ S₊. W₁ (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations