Anderson and Belnap's Minimal Positive Logic with Minimal Negation.
José M. Méndez, Francisco Salto, Gemma Robles · PhilPapers (PhilPapers Foundation) · 2002
Our question is: can we embed minimal negation in implicative logics weaker than I→? Previous results show how to define minimal negation in the positive fragment of the logic of relevance R and in contractionless intuitionistic logic. Is it possible to endow weaker positive logics with minimal negation? This paper prooves that minimal negation can be embedded in even such a weak system as Anderson and Belnap’s minimal positive logic.