7 found
Order:
  1.  4
    Michael A. McRobbie & Robert K. Meyer (1979). A Note on the Admissibility of Cut in Relevant Tableau Systems. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (32):511-512.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  12
    Robert K. Meyer & Michael A. McRobbie (1982). Multisets and Relevant Implication I. Australasian Journal of Philosophy 60 (2):107 – 139.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  2
    Michael A. McRobbie & Nuel D. Belnap Jr (1979). Relevant Analytic Tableaux. 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 via"left-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  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  7
    Robert K. Meyer & Michael A. McRobbie (1982). Multisets and Relevant Implication II. Australasian Journal of Philosophy 60 (3):265 – 281.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  15
    Michael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. 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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6. Michael A. McRobbie (1977). A Tableau System for Positive Relevant Implication. Bulletin of the Section of Logic 6:131-133.
     
    Export citation  
     
    My bibliography   1 citation  
  7.  2
    Michael A. McRobbie & Robert K. Meyer (1979). A Note on the Admissibility of Cut in Relevant Tableau Systems. Mathematical Logic Quarterly 25 (32):511-512.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography