Switch to: Citations

Add references

You must login to add references.
  1. (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  
  • An axiomatic version of positive semilattice relevance logic.G. Charlwood - 1981 - Journal of Symbolic Logic 46 (2):233-239.
    Download  
     
    Export citation  
     
    Bookmark   12 citations