6 found
Order:
  1.  3
    Automated Theorem-Proving in Non-Classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
  2.  37
    Multisets and Relevant Implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
  3.  34
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  19
    Multisets and Relevant Implication II.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (3):265 – 281.
  5.  32
    A Note on the Admissibility of Cut in Relevant Tableau Systems.Michael A. McRobbie & Robert K. Meyer - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (32):511-512.
  6. A Tableau System for Positive Relevant Implication.Michael A. McRobbie - 1977 - Bulletin of the Section of Logic 6:131-133.
     
    Export citation  
     
    Bookmark   3 citations