Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Direct download (7 more)  
    Export citation  
    Bookmark   34 citations  
  • Simple Gentzenizations for the Formal Formulae of Contraction-Less Logics.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (4):1321-1346.
  • Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.
    This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as F-logics, for those proved decidable using a filtration method, and U-logics, for those proved decidable using a direct method. Both of these methods are set out as reductio methods, in the style of Hughes and Cresswell. We also examine some extensions of the U-logics where the method fails and infinite sequences of worlds can be generated.
    Direct download (2 more)  
    Export citation  
    Bookmark   5 citations