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