Anderson And Belnap's Minimal Positive Logic With Minimal Negation

Reports on Mathematical Logic 36:117-130 (2002)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
Archival date: 2020-09-12
View other versions
Added to PP index

Total views
11 ( #53,216 of 52,662 )

Recent downloads (6 months)
11 ( #41,103 of 52,662 )

How can I increase my downloads?

Downloads since first upload

Sorry, there are not enough data points to plot this chart.