dc.contributor.author | Øgaard, Tore Fjetland | |
dc.date.accessioned | 2021-04-22T11:41:19Z | |
dc.date.available | 2021-04-22T11:41:19Z | |
dc.date.created | 2020-08-06T10:40:17Z | |
dc.date.issued | 2021 | |
dc.Published | Logic Journal of the IGPL. 2020, . | |
dc.identifier.issn | 1367-0751 | |
dc.identifier.uri | https://hdl.handle.net/11250/2739132 | |
dc.description.abstract | Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean extended logic. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Oxford University Press | en_US |
dc.subject | Ikke-klassisk logikk | en_US |
dc.subject | Non-classical logic | en_US |
dc.subject | Logikk | en_US |
dc.subject | Logic | en_US |
dc.title | Boolean negation and non-conservativity II: The variable-sharing property | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | Copyright 2020 the author | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.doi | 10.1093/jigpal/jzaa020 | |
dc.identifier.cristin | 1821975 | |
dc.source.journal | Logic Journal of the IGPL | en_US |
dc.source.pagenumber | 363–369 | |
dc.subject.nsi | VDP::Filosofi: 161 | en_US |
dc.subject.nsi | VDP::Philosophy: 161 | en_US |
dc.subject.nsi | VDP::Filosofi: 161 | en_US |
dc.subject.nsi | VDP::Philosophy: 161 | en_US |
dc.identifier.citation | Logic Journal of the IGPL. 2021, 29 (3), 363–369. | en_US |
dc.source.volume | 29 | |
dc.source.issue | 3 | |