Switch to: Citations

Add references

You must login to add references.
  1. Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • The consistency of the axiom of comprehension in the infinite-valued predicate logic of Ĺ‚ukasiewicz.Richard B. White - 1979 - Journal of Philosophical Logic 8 (1):509 - 534.
    Download  
     
    Export citation  
     
    Bookmark   29 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  
  • The simple consistency of a set theory based on the logic ${\rm CSQ}$.Ross T. Brady - 1983 - Notre Dame Journal of Formal Logic 24 (4):431-449.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Survey of generalizations of Urquhart semantics.R. A. Bull - 1987 - Notre Dame Journal of Formal Logic 28 (2):220-237.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Universal Logic.Ross Brady - 2006 - CSLI Publications.
    Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be solved in (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
    Download  
     
    Export citation  
     
    Bookmark   146 citations  
  • Universal Logic.Ross Brady - 2006 - Bulletin of Symbolic Logic 13 (4):544-547.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Universal Logic.Ross Brady - 2007 - Studia Logica 87 (2-3):359-362.
    Download  
     
    Export citation  
     
    Bookmark   47 citations