Switch to: References

Add citations

You must login to add citations.
  1. Depth relevance of some paraconsistent logics.Ross T. Brady - 1984 - Studia Logica 43 (1-2):63 - 73.
    The paper essentially shows that the paraconsistent logicDR satisfies the depth relevance condition. The systemDR is an extension of the systemDK of [7] and the non-triviality of a dialectical set theory based onDR has been shown in [3]. The depth relevance condition is a strengthened relevance condition, taking the form: If DR- AB thenA andB share a variable at the same depth, where the depth of an occurrence of a subformulaB in a formulaA is roughly the number of nested ''s (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
    Download  
     
    Export citation  
     
    Bookmark   41 citations