Switch to: Citations

Add references

You must login to add references.
  1. Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Conservative extension in relevant implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
    Download  
     
    Export citation  
     
    Bookmark   21 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  
  • Remarks on Sentential Logics.R. Suszko - 1975 - Journal of Symbolic Logic 40 (4):603-604.
    Download  
     
    Export citation  
     
    Bookmark   46 citations