Anderson And Belnap's Minimal Positive Logic With Minimal Negation

Reports on Mathematical Logic 36:117-130 (2002)
  Copy   BIBTEX


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.

Author Profiles

Francisco Salto
Universidad de León
José M. Méndez
Universidad de Salamanca
Gemma Robles
Universidad de León


Added to PP

75 (#92,101)

6 months
186 (#16,920)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?