Switch to: References

Add citations

You must login to add citations.
  1. Relevance via decomposition.David Makinson - 2017 - Australasian Journal of Logic 14 (3).
    We report on progress and an unsolved problem in our attempt to obtain a clear rationale for relevance logic via semantic decomposition trees. Suitable decomposition rules, constrained by a natural parity condition, generate a set of directly acceptable formulae that contains all axioms of the well-known system R, is closed under substitution and conjunction, satisfies the letter-sharing condition, but is not closed under detachment. To extend it, a natural recursion is built into the procedure for constructing decomposition trees. The resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations