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
Gemma Robles
Universidad de León


Added to PP

64 (#71,561)

6 months
16 (#74,288)

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?