6 found
Sort by:
  1. Robert K. Meyer & Michael A. McRobbie (1982). Multisets and Relevant Implication I. Australasian Journal of Philosophy 60 (2):107 – 139.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Robert K. Meyer & Michael A. McRobbie (1982). Multisets and Relevant Implication II. Australasian Journal of Philosophy 60 (3):265 – 281.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  5. 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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Michael A. McRobbie (1977). A Tableau System for Positive Relevant Implication. Bulletin of the Section of Logic 6:131-133.
    No categories
     
    My bibliography  
     
    Export citation