Switch to: References

Add citations

You must login to add citations.
  1. Negation introduced with the unary connective.Gemma Robles - 2009 - Journal of Applied Non-Classical Logics 19 (3):371-388.
    In the first part of this paper (Méndez and Robles 2008) a minimal and an intuitionistic negation is introduced in a wide spectrum of relevance logics extending Routley and Meyer's basic positive logic B+. It is proved that although all these logics have the characteristic paradoxes of consistency, they lack the K rule (and so, the K axiom). Negation is introduced with a propositional falsity constant. The aim of this paper is to build up logics definitionally equivalent to those in (...)
    Download  
     
    Export citation  
     
    Bookmark