Anderson And Belnap's Minimal Positive Logic With Minimal Negation

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

Abstract

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

Analytics

Added to PP
2015-02-12

Downloads
138 (#76,551)

6 months
51 (#71,074)

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?