Relevance logics and intuitionistic negation

References

• Anderson , A. and Belnap , N. 1975 . Entailment: The Logic of Relevance and Necessity , vol. I , Princeton University Press .
   Google Scholar
• Anderson , A. , Belnap , N. and Dunn , J. 1992 . Entailment: The Logic of Relevance and Necessity , vol. II , Princeton University Press .
   Google Scholar
• Johansson , I. 1937 . Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus . Compositio Mathematica , 4 : 119 – 136 .
   Google Scholar
• Mares , E. 2000 . CE is not a conservative extension of E . Journal of Philosophical Logic , 29 ( 3 ) : 263 – 275 .
   Web of Science ®Google Scholar
• Méndez , J. , Salto , F. and Robles , G. 2002 . Anderson and Belnap's minimal positive logic with minimal negation . Reports on Mathematical Logic , 36 : 117 – 130 .
   Google Scholar
• Meyer , R. and Routley , R. 1973 . Classical Relevant Logics I . Studia Logica , 32 : 51 – 66 .
   Google Scholar
• Meyer , R. and Routley , R. 1974 . Classical Relevant Logics II . Studia Logica , 33 : 183 – 194 .
   Google Scholar
• Routley , R. , Sylvan , R. and Brady , R. 1982 . Relevant Logics and their Rivals , vol. 1 , Ridgeview Pub Co .
   Google Scholar