Switch to: Citations

Add references

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