Switch to: Citations

Add references

You must login to add references.
  1. The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
  • Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
  • Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
  • Multisets and Relevant Implication.R. K. Meyer - 1982 - Australasian Journal of Philosophy 60:107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3‐6):85-92.
  • Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Mathematical Logic Quarterly 22 (1):261-264.
  • Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3-6):85-92.
  • Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):261-264.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
  • Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
    We provide five semantic preservation properties which apply to the various rules -- primitive, derived and admissible -- of Hilbert-style axiomatizations of relevant logics. These preservation properties are with respect to the Routley-Meyer semantics, and consist of various truth- preservations and validity-preservations from the premises to the conclusions of these rules. We establish some deduction theorems, some persistence theorems and some soundness and completeness theorems, for these preservation properties. We then apply the above ideas, as best we can, to the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Gentzenization and decidability of some contraction-less relevant logics.Ross T. Brady - 1991 - Journal of Philosophical Logic 20 (1):97 - 117.
  • Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (7‐14):201-216.
  • Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.
  • Natural deduction systems for some quantified relevant logics.Ross T. Brady - 1984 - Logique Et Analyse 27 (8):355--377.