Switch to: Citations

Add references

You must login to add references.
  1. The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Gentzenization and decidability of some contraction-less relevant logics.Ross T. Brady - 1991 - Journal of Philosophical Logic 20 (1):97 - 117.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Multisets and Relevant Implication.R. K. Meyer - 1982 - Australasian Journal of Philosophy 60:107.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3‐6):85-92.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Mathematical Logic Quarterly 22 (1):261-264.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3-6):85-92.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):261-264.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Natural deduction systems for some quantified relevant logics.Ross T. Brady - 1984 - Logique Et Analyse 27 (8):355--377.
    Download  
     
    Export citation  
     
    Bookmark   38 citations