Boolean negation and non-conservativity III: the Ackermann constant
Journal article, Peer reviewed
Accepted version
Permanent lenke
https://hdl.handle.net/11250/2739126Utgivelsesdato
2021Metadata
Vis full innførselSamlinger
- Department of Philosophy [276]
- Registrations from Cristin [12359]
Sammendrag
It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.