Switch to: Citations

Add references

You must login to add references.
  1. A content semantics for quantified relevant logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
    In part I, we presented an algebraic-style of semantics, which we called “content semantics,” for quantified relevant logics based on the weak systemBBQ. We showed soundness and completeness with respect to theunreduced semantics ofBBQ. In part II, we proceed to show soundness and completeness for extensions ofBBQ with respect to this type of semantics. We introducereduced semantics which requires additional postulates for primeness and saturation. We then conclude by showing soundness and completeness forBB d Q and its extentions with respect (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
    This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising '*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.
    Download  
     
    Export citation  
     
    Bookmark   34 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  
  • The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Simplified gentzenizations for contraction-less logics.Ross T. Brady - forthcoming - Logique Et Analyse.
    Download  
     
    Export citation  
     
    Bookmark   4 citations