Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
    In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...)
    Download  
     
    Export citation  
     
    Bookmark   187 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  
  • Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • (1 other version)Entailment: The Logic of Relevance and Necessity Vol. 2.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn (eds.) - 1992 - Princeton, NJ, USA: Princeton University Press.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
    Download  
     
    Export citation  
     
    Bookmark   126 citations  
  • A Useful Substructural Logic.Greg Restall - 1994 - Logic Journal of the IGPL 2 (2):137-148.
    Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples. The systems S4 and S5 are useful in many different ways. They map out structures that are relevant to a number of different applications. S1, S2 and S3 however, are not so lucky. They are (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Linear logic displayed.Nuel Belnap - 1989 - Notre Dame Journal of Formal Logic 31 (1):14-25.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Gupta's rule of revision theory of truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
    Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff and Kripke in order to permanently deepen our understanding of truth, of paradox, and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the philosophy of language. Still, fortunately, he has left me something to.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • (1 other version)Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
    Download  
     
    Export citation  
     
    Bookmark   52 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 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  
  • TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Power and weakness of the modal display calculus.Marcus Kracht - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 93--121.
    Download  
     
    Export citation  
     
    Bookmark   24 citations