Switch to: References

Add citations

You must login to add citations.
  1. Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
    Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.
    Download  
     
    Export citation  
     
    Bookmark   8 citations