Boolean negation and non-conservativity III: the Ackermann constant
Journal article, Peer reviewed
MetadataShow full item record
Original versionLogic Journal of the IGPL. 2020 10.1093/jigpal/jzaa021
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.
Under embargo until: 2021-07-13