Logic Journal of the IGPL 29 (3):340-362 (2021)

Tore Fjetland Øgaard
University of Bergen
Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the strong relevant logic R with a S5 modal operator, all fail to be conservatively extended by Boolean negation. The proof, therefore, also covers Meyer and Mares’ proof that NR—R with a primitive S4-modality added—also fails to be conservatively extended by Boolean negation.
Keywords Boolean negation  non-conservative extension  entailment  modaility  relevant logics
Categories (categorize this paper)
DOI 10.1093/jigpal/jzaa019
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,037
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Principia Mathematica.Morris R. Cohen - 1912 - Philosophical Review 21 (1):87.
The Semantics of Entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
Begrundung Einer Strengen Implik.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21:113.

View all 21 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Simplified Semantics for Relevant Logics (and Some of Their Rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Nearly Every Normal Modal Logic is Paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
There is More to Negation Than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.


Added to PP index

Total views
22 ( #496,233 of 2,454,418 )

Recent downloads (6 months)
5 ( #143,418 of 2,454,418 )

How can I increase my downloads?


My notes