Switch to: Citations

Add references

You must login to add references.
  1. Natural deduction systems for some quantified relevant logics.Ross T. Brady - 1984 - Logique Et Analyse 27 (8):355--377.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Simplified semantics for basic relevant logics.Graham Priest & Richard Sylvan - 1992 - Journal of Philosophical Logic 21 (2):217 - 232.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
    This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Simplified gentzenizations for contraction-less logics.Ross T. Brady - forthcoming - Logique Et Analyse.
    Download  
     
    Export citation  
     
    Bookmark   4 citations